log

age author description
Thu, 16 Jun 2011 18:31:16 +0200 Thomas Wuerthinger Clean up dead code elimination.
Thu, 16 Jun 2011 17:39:29 +0200 Thomas Wuerthinger Added node verification (and tentative interface for VerificationListener). Fixed regression in dead code elimination.