TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
4105 Commits
97 Branches
171 Tags
59 MiB
Tag: Branch: Tree: optimizer
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'optimizer'
${ noResults }
Commit Graph

3 Commits (optimizer)

Author SHA1 Message Date
Dimitar Bounov 88782d2432 Add BaseSolver class and restructure Solver and Optimize as children to get more precise type information. Tighten typing of BaseSolver.add and BaseSolver.append; Fix PEP8 nits
6 years ago
Dimitar Bounov cfc4746291 Fix formatting
6 years ago
Dimitar Bounov 4c1ddb9fbe Add z3 mypy stubs; Add types to mythril/laser/smt/*.py
6 years ago