log

age author description
Wed, 18 Mar 2015 21:36:35 +0100 Thomas Wuerthinger Merge.
Wed, 18 Mar 2015 21:36:12 +0100 Thomas Wuerthinger Fix a bug in the schedule phase and tighten asserts.
Thu, 19 Mar 2015 10:28:28 +0100 Gilles Duboscq Canonicalizer: tryCanonicalize: return early if the custom canonicalizer has simplified the node away