Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Wed, 25 Jun 2014 11:21:44 +0200 | Lukas Stadler | implement Canonicalizable.Binary in the BinaryOpLogicNode hierarchy |
Wed, 25 Jun 2014 11:20:53 +0200 | Lukas Stadler | implement Canonicalizable.Unary in the UnaryOpLogicNode hierarchy |
Wed, 25 Jun 2014 11:20:53 +0200 | Lukas Stadler | non-adding factory methods in BitLogicNode |