Mon, 27 Feb 2012 11:44:03 +0000Change prev_il_instruction to a vector<>
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Feb 2012 11:44:03 +0000] rev 457
Change prev_il_instruction to a vector<>

Mon, 27 Feb 2012 11:28:51 +0000Some small cleanups.
Mario de Sousa <msousa@fe.up.pt> [Mon, 27 Feb 2012 11:28:51 +0000] rev 456
Some small cleanups.

Sat, 25 Feb 2012 19:16:35 +0000Add support for semantic verification of CALC, CALCN, etc..
Mario de Sousa <msousa@fe.up.pt> [Sat, 25 Feb 2012 19:16:35 +0000] rev 455
Add support for semantic verification of CALC, CALCN, etc..