Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Tue, 09 Aug 2011 16:33:53 +0200 | Thomas Wuerthinger | Merge. |
Tue, 09 Aug 2011 18:59:29 +0200 | Gilles Duboscq | Merge |
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 17:56:45 +0200 | Lukas Stadler | changes CanonicalizerOp to Canonicalizable interface |
Tue, 09 Aug 2011 14:43:41 +0200 | Lukas Stadler | added NodeInfo annotation |
Tue, 09 Aug 2011 13:48:46 +0200 | Gilles Duboscq | Remove a Sysout debug message |