log

age author description
Sat, 27 Apr 2013 18:02:20 +0200 Thomas Wuerthinger Cap probability to 1.0.
Sat, 27 Apr 2013 17:22:54 +0200 Thomas Wuerthinger Added comment.
Sat, 27 Apr 2013 17:16:03 +0200 Thomas Wuerthinger Implement swapping of == if one value is proven equal and the other is proven distinct.
Sat, 27 Apr 2013 16:22:15 +0200 Thomas Wuerthinger Implement swapping for distinct conditions on same values.
Sat, 27 Apr 2013 15:38:55 +0200 Thomas Wuerthinger Implemented isnull after instanceof swapping.
Sat, 27 Apr 2013 15:38:17 +0200 Thomas Wuerthinger Implement instanceof after instanceof swapping.