Mercurial > hg > truffle
log
age | author | description |
---|---|---|
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 |