Mercurial > hg > truffle
graph
-
Do not swap if nodes when there is a loop exit node between them. Do not swap if one of the compares has unorderedIsTrue set.Sat, 27 Apr 2013 20:17:10 +0200, by Thomas Wuerthinger
-
Fix capping.Sat, 27 Apr 2013 18:06:32 +0200, by Thomas Wuerthinger
-
Cap probability to 1.0.Sat, 27 Apr 2013 18:02:20 +0200, by Thomas Wuerthinger
-
Added comment.Sat, 27 Apr 2013 17:22:54 +0200, by Thomas Wuerthinger
-
Implement swapping of == if one value is proven equal and the other is proven distinct.Sat, 27 Apr 2013 17:16:03 +0200, by Thomas Wuerthinger
-
Implement swapping for distinct conditions on same values.Sat, 27 Apr 2013 16:22:15 +0200, by Thomas Wuerthinger