aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/VariableUsage.cpp
Commit message (Expand)AuthorAgeFilesLines
* Refactoring Declaration -> VariableDeclaration (more precise)Leonardo Alt2018-06-121-2/+2
* [SMTChecker] Support to integer and Bool storage varsLeonardo Alt2018-05-151-1/+0
* Track usage of variables.chriseth2017-11-221-0/+80