Mercurial > hg > truffle
graph
-
Add BinaryNode.reassociate to do generic +, -, *, &, |, ^ reassociation, use it for canoncialization. Will be used to reassociate loop invariants.Fri, 15 Jun 2012 15:35:10 +0200, by Gilles Duboscq
-
added support for extending the filtering context of a DebugConfigFri, 15 Jun 2012 14:42:11 +0200, by Doug Simon
-
Merge.Fri, 15 Jun 2012 13:17:04 +0200, by Doug Simon