Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Mon, 18 Aug 2014 19:02:18 +0200 | Christian Humer | Truffle: fixed header dates. |
Mon, 18 Aug 2014 19:00:41 +0200 | Christian Humer | Made replacements verifier more robust. |
Mon, 18 Aug 2014 19:00:20 +0200 | Christian Humer | Truffle: renamed BooleanConditionProfile to BinaryConditionProfile and IntegerConditionProfile to CountingConditionProfile. |