aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/interface
Commit message (Collapse)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