aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal/SymbolicBoolVariable.h
Commit message (Expand)AuthorAgeFilesLines
* [SMTChecker] Support to Bool variablesLeonardo Alt2018-03-131-0/+47