log

age author description
Thu, 02 May 2013 10:55:11 +0200 Bernhard Urban CheckCastNode: check if input of next CheckCastNode is the node itself
Thu, 02 May 2013 10:55:07 +0200 Bernhard Urban CheckCastNode: better attempt to combine checkcasts
Thu, 02 May 2013 10:55:04 +0200 Bernhard Urban nested checkcasts: add failing testcase