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 |
age | author | description |
---|---|---|
Wed, 25 Jun 2014 11:20:50 +0200 | Lukas Stadler | handle Canonicalizable.Unary/Binary in CanonicalizerPhase and EquationalReasoner |