Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Sat, 16 Jun 2012 16:53:02 +0200 | Thomas Wuerthinger | Canonicalize projects. |
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. |
Sat, 16 Jun 2012 00:39:30 +0200 | Thomas Wuerthinger | Add correct checkcast node to entry of catch block after exception dispatch. |
Sat, 16 Jun 2012 00:06:48 +0200 | Thomas Wuerthinger | Initial implementation of closed world analysis by iteratively expanding the universe starting at method entry points. |