add EXTSWSLI "pass" to formal shift_rot proof
[soc.git] / NEWS.txt
1