Mercurial > hg > truffle
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 |