Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Tue, 10 Mar 2015 15:52:07 +0100 | Thomas Wuerthinger | Add conditional elimination test cases. |
Tue, 10 Mar 2015 15:28:02 +0100 | Thomas Wuerthinger | Add unit test for conditional elimination of IntegerTestNode. |