aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal
Commit message (Expand)AuthorAgeFilesLines
* Fix problems with statement blocks.chriseth2015-11-112-21/+46
* Rename error type.chriseth2015-10-281-1/+1
* Preliminary why3 code output.chriseth2015-10-272-0/+640