log

age author description
Mon, 13 May 2013 17:11:45 +0200 Bernhard Urban Value: simplify some `equals' and `hashcode' implementations even more
Mon, 13 May 2013 16:47:13 +0200 Bernhard Urban VerifyValueUsage: use method name and signature instead of `toString()'
Mon, 13 May 2013 16:37:57 +0200 Bernhard Urban VerifyValueUsage: move String creation to assert
Mon, 13 May 2013 15:55:41 +0200 Bernhard Urban CFGVerifier: verify post-dominator calculation
Mon, 13 May 2013 14:17:35 +0200 Doug Simon Merge.
Mon, 13 May 2013 13:59:34 +0200 Doug Simon better error message
Mon, 13 May 2013 13:57:49 +0200 Doug Simon javadoc fixes