log

age author description
Sat, 16 Jun 2012 02:20:02 +0200 Thomas Wuerthinger Merge.
Sat, 16 Jun 2012 02:19:38 +0200 Thomas Wuerthinger Added detailed test cases for the closed world analysis. Add support for ValueProxyNode, CheckCastNode. Fix modelling of arrays.
Sat, 16 Jun 2012 02:17:44 +0200 Thomas Wuerthinger Make the value proxy node use the stamp of the proxied value.