log

age author description
Thu, 12 Feb 2015 22:40:36 +0100 Thomas Wuerthinger Fixed a regression in the canonicalization of ConditionalNode.
Thu, 12 Feb 2015 22:34:39 +0100 Thomas Wuerthinger Canonicalize CheckCastNode to unique concrete subtype on creation.