Wed, 06 Jun 2012 12:39:32 +0100Fix a few bugs of previous commit.
Mario de Sousa <msousa@fe.up.pt> [Wed, 06 Jun 2012 12:39:32 +0100] rev 565
Fix a few bugs of previous commit.

Tue, 05 Jun 2012 19:17:29 +0200Start constant_folding class.
Manuele Conti <conti.ma@alice.it> [Tue, 05 Jun 2012 19:17:29 +0200] rev 564
Start constant_folding class.