Manuele Conti <conti.ma@alice.it> [Thu, 03 Jan 2013 20:34:10 +0100] rev 787
Fix constant_folding missing call. [Bug found by Mario.]
Mario de Sousa <msousa@fe.up.pt> [Thu, 03 Jan 2013 19:31:12 +0000] rev 786
Fix divide by 0 bug.
Mario de Sousa <msousa@fe.up.pt> [Thu, 03 Jan 2013 17:04:04 +0000] rev 785
merge
Manuele Conti <conti.ma@alice.it> [Thu, 03 Jan 2013 11:39:27 +0100] rev 784
Fix CPPFLAGS Makefile.am for all stage4.