Mercurial > hg > truffle
log
age | author | description |
---|---|---|
Wed, 19 Jun 2013 16:46:41 +0200 | Lukas Stadler | more restrictive condition in ForeignCallNode.setStateAfter |
Wed, 19 Jun 2013 16:42:56 +0200 | Lukas Stadler | split MemoryCheckpoint interface into Single and Multi |
Wed, 19 Jun 2013 15:29:37 +0200 | Andreas Woess | fix canonicalization of UnsafeStoreNode: preserve stateAfter |
Wed, 19 Jun 2013 15:07:39 +0200 | Andreas Woess | junit.framework package is deprecated |