Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Tue, 01 Jul 2014 12:10:37 +0200 | Doug Simon | made IfCanonicalizerTest clean up dead nodes it creates |
Tue, 01 Jul 2014 12:05:27 +0200 | Doug Simon | made InductionVariable.deleteUnusedNodes() abstract |