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.
|