log

age author description
Tue, 01 Jul 2014 15:52:18 +0200 Thomas Wuerthinger Resolved virtual calls are guaranteed to have as receiver type at least the holder of the virtual method.
Tue, 01 Jul 2014 15:50:12 +0200 Thomas Wuerthinger Add utility to get the return stamp from a structured graph.
Tue, 01 Jul 2014 15:43:48 +0200 Thomas Wuerthinger Add utility for testing whether a stamp can be improved. And a utility for getting the default stamps of the parameters of a method.