Thu, 10 Jan 2013 10:49:50 +0000 Mario de Sousa merge
Thu, 03 Jan 2013 18:27:06 +0000 Mario de Sousa merge
Thu, 03 Jan 2013 18:26:32 +0000 Mario de Sousa Fix divide by 0 bug.
Thu, 03 Jan 2013 18:23:07 +0000 Mario de Sousa grand merge
Thu, 10 Jan 2013 10:47:06 +0000 Mario de Sousa disable not yet complete constant propagation algorithm (currently brocken and producing incorrect results),
Thu, 10 Jan 2013 10:38:41 +0000 Mario de Sousa merge