log

age author description
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.