Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Sun, 01 Feb 2015 02:21:32 +0100 | Thomas Wuerthinger | Simplify IntegerStamp.meet. Simplify assertion in ArithmeticStamp. |
age | author | description |
---|---|---|
Sun, 01 Feb 2015 02:21:32 +0100 | Thomas Wuerthinger | Simplify IntegerStamp.meet. Simplify assertion in ArithmeticStamp. |