log

age author description
Sun, 01 Feb 2015 02:21:32 +0100 Thomas Wuerthinger Simplify IntegerStamp.meet. Simplify assertion in ArithmeticStamp.
Sun, 01 Feb 2015 00:51:09 +0100 Thomas Wuerthinger Small improvement to LIRInsertionBuffer.
Sat, 31 Jan 2015 23:43:30 +0100 Thomas Wuerthinger Small changes in edges iterator.
Sat, 31 Jan 2015 21:33:01 +0100 Thomas Wuerthinger Split methods in ConditionalEliminationPhase.
Sat, 31 Jan 2015 19:03:33 +0100 Thomas Wuerthinger Merge.
Wed, 28 Jan 2015 15:07:54 +0100 Thomas Wuerthinger Process inputs of ProxyNodes in the scheduler.