aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/interface
Commit message (Expand)AuthorAgeFilesLines
* Make members context-sensitive.chriseth2015-11-261-1/+1
* Fix: Cope with non-existing commit hash.chriseth2015-11-031-1/+4
* Rename error type.chriseth2015-10-282-3/+3
* Preliminary why3 code output.chriseth2015-10-274-19/+41
* Store docstrings in AST annotations.chriseth2015-10-264-334/+64
* File reorganisation.chriseth2015-10-2113-0/+2029