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.
Thu, 03 Jan 2013 17:04:04 +0000 Mario de Sousa merge