Thu, 03 Jan 2013 18:23:07 +0000grand merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 03 Jan 2013 18:23:07 +0000] rev 793
grand merge

Thu, 10 Jan 2013 10:47:06 +0000disable not yet complete constant propagation algorithm (currently brocken and producing incorrect results),
Mario de Sousa <msousa@fe.up.pt> [Thu, 10 Jan 2013 10:47:06 +0000] rev 792
disable not yet complete constant propagation algorithm (currently brocken and producing incorrect results),

Thu, 10 Jan 2013 10:38:41 +0000merge
Mario de Sousa <msousa@fe.up.pt> [Thu, 10 Jan 2013 10:38:41 +0000] rev 791
merge

Thu, 03 Jan 2013 23:39:25 +0100Fix constant propagation for repeat_statement_c class.
Manuele Conti <conti.ma@alice.it> [Thu, 03 Jan 2013 23:39:25 +0100] rev 790
Fix constant propagation for repeat_statement_c class.