Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Mon, 09 Feb 2015 16:00:00 -0800 | Tom Rodriguez | Move induction variable detection logic into LoopEx |
Mon, 09 Feb 2015 15:55:00 -0800 | Tom Rodriguez | Fold away obvious identities when building induction variable expressions |