Thu, 03 Jan 2013 22:54:55 +0100 Manuele Conti Implement Mario's suggestions:
Thu, 03 Jan 2013 20:34:10 +0100 Manuele Conti Fix constant_folding missing call. [Bug found by Mario.]
Thu, 03 Jan 2013 19:31:12 +0000 Mario de Sousa Fix divide by 0 bug.