Mercurial > hg > truffle
graph
-
Fix inlining scoping: add a Debug.scope(Object name, Object[] contextObjects) method so that inlining can put all the necessary methods in the context.Mon, 14 Apr 2014 11:46:36 +0200, by Gilles Duboscq
-
Some simplifications around filter usages and node predicatesFri, 11 Apr 2014 19:00:42 +0200, by Gilles Duboscq
-
rename FalsePredicate to ContradictionPredicateFri, 11 Apr 2014 18:17:21 +0200, by Gilles Duboscq