log

age author description
Mon, 10 Jan 2011 16:59:48 +0100 Thomas Wuerthinger Added leaf method assumptions.
Mon, 10 Jan 2011 10:50:22 +0100 Thomas Wuerthinger Added unique concrete subtype assumption.
Fri, 07 Jan 2011 19:08:13 +0100 Thomas Wuerthinger Fixed an issue that caused the client compiler to fail in the graal configuration.