log

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