Update proof_decoder2 to handle signed immediates
[soc.git] / NEWS.txt
1