Mercurial > hg > truffle
log ProblemsIdeas.txt @ 3718:42e655a6a6f3
age | author | description |
---|---|---|
Tue, 09 Aug 2011 18:53:11 +0200 | Gilles Duboscq | WIP : updated loop counter detection, added Basic and Derived induction variable framework |
Tue, 09 Aug 2011 13:48:46 +0200 | Gilles Duboscq | Remove a Sysout debug message |
Wed, 27 Jul 2011 11:53:37 +0200 | Gilles Duboscq | Canonicalize Negate(Negate(x)) for int/long remove incorrect canonicalization of FloatSub(0.0, x) to Negate(x) |