Mercurial > hg > truffle
log
age | author | description |
---|---|---|
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. |
age | author | description |
---|---|---|
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. |