log

age author description
Thu, 16 Jun 2011 17:39:29 +0200 Thomas Wuerthinger Added node verification (and tentative interface for VerificationListener). Fixed regression in dead code elimination.
Thu, 16 Jun 2011 16:41:22 +0200 Thomas Wuerthinger Clean up on ControlSplit class.
Thu, 16 Jun 2011 16:32:52 +0200 Thomas Wuerthinger Renamed BlockEnd=>ControlSplit.
Thu, 16 Jun 2011 16:31:29 +0200 Thomas Wuerthinger Return and Unwind are no longer a BlockEnd.
Thu, 16 Jun 2011 16:22:57 +0200 Thomas Wuerthinger BlockEnd no longer extends Instruction.
Thu, 16 Jun 2011 16:19:36 +0200 Thomas Wuerthinger Moved some code in the scheduler to the right place.
Thu, 16 Jun 2011 16:09:39 +0200 Thomas Wuerthinger Model frame states as inputs to their instruction.