log

age author description
Thu, 08 Oct 2015 16:54:27 +0200 Thomas Wuerthinger Merge.
Thu, 08 Oct 2015 15:59:44 +0200 Thomas Wuerthinger Merge.
Thu, 08 Oct 2015 15:57:40 +0200 Thomas Wuerthinger Add new canonicalization for x - y == 0 to x == y in IntegerEqualsNode.