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
Wed, 19 Jun 2013 12:21:03 +0200 Christian Haeubl Added a more inlining test cases.
Tue, 18 Jun 2013 14:23:29 -0700 Mick Jordan fix == on Value
Tue, 18 Jun 2013 14:17:45 -0700 Mick Jordan fix == on Register value