Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Wed, 27 Apr 2011 19:00:40 +0200 | Thomas Wuerthinger | Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer. |
age | author | description |
---|---|---|
Wed, 27 Apr 2011 19:00:40 +0200 | Thomas Wuerthinger | Reinsert phi simplifier (does not seem to be optional). Disabled canonicalizer. |