Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Wed, 25 Jun 2014 11:20:53 +0200 | Lukas Stadler | non-adding factory methods in LogicConstantNode |
Wed, 25 Jun 2014 11:20:53 +0200 | Lukas Stadler | non-adding factory methods in ConstantNode |
Wed, 25 Jun 2014 11:20:53 +0200 | Lukas Stadler | rename of x() to getX(), y() to getY() and object() to getValue() |
Wed, 25 Jun 2014 11:20:50 +0200 | Lukas Stadler | handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner |
Wed, 25 Jun 2014 10:58:42 +0200 | Lukas Stadler | new Unary and Binary canonicalizable interfaces |
Wed, 25 Jun 2014 11:30:44 +0200 | Doug Simon | Merge. |