Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Thu, 14 Aug 2014 15:02:17 +0200 | Christian Humer | Truffle-DSL: fixed guard solve of guards for interfaces. |
Thu, 14 Aug 2014 13:11:47 +0200 | Christian Humer | SL: use the new IntegerConditionProfile in simple language. |