log

age author description
Fri, 30 Jan 2015 11:24:27 -0800 Tom Rodriguez Properly handle multiple class names for ClassSubstitution
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.