Mario de Sousa <msousa@fe.up.pt> [Mon, 04 Jun 2012 18:22:11 +0100] rev 562
Change return data type of array_dimension_iterator_c.next()
Manuele Conti <conti.ma@alice.it> [Wed, 16 May 2012 00:15:32 +0200] rev 561
Fix SFC stage4 error.
mjsousa <msousa@fe.up.pt> [Tue, 15 May 2012 23:03:25 +0100] rev 560
Renamed class, remove unused code, delete allocated objects.
Manuele Conti <conti.ma@alice.it> [Tue, 15 May 2012 18:59:32 +0200] rev 559
Start sematinc range check class.
mjsousa <msousa@fe.up.pt> [Tue, 15 May 2012 15:50:43 +0100] rev 558
Located variables may have other data types besides ANY_BIT.
Manuele Conti <conti.ma@alice.it> [Sun, 13 May 2012 17:57:15 +0200] rev 557
Add verify_is_lvalue to control_variable in for_statement.