Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Sat, 28 Feb 2015 14:50:40 +0100 | Thomas Wuerthinger | Improve error message for partialEvaluationConstant assert to include the values of phis. |
Sat, 28 Feb 2015 13:15:09 +0100 | Thomas Wuerthinger | Another fix after counted loop recognition changes. |