Mercurial > hg > truffle
graph
-
rename FalsePredicate to ContradictionPredicateFri, 11 Apr 2014 18:17:21 +0200, by Gilles Duboscq
-
Simplify NodePredicates (use overrides instead of if cascades)Fri, 11 Apr 2014 18:16:32 +0200, by Gilles Duboscq
-
Make NodePredicate an interfaceFri, 11 Apr 2014 18:01:21 +0200, by Gilles Duboscq