log

age author description
Mon, 13 May 2013 16:09:49 +0200 Gilles Duboscq mx/commands.py: warn about arguments after '-version' when launching the vm
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