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

11 Commits (develop)

Author SHA1 Message Date
Daniel Bast 0717111a55
Enable+apply isort via ruff/pre-commit (#1871)
3 months ago
Daniel Bast 25de4e7cc3
Run black + ruff via pre-commit, fix findings to reduce requirements.txt (#1865)
4 months ago
Nikhil Parasaram 13969337fd
Add additional analysis modules (#1836)
9 months ago
Nikhil Parasaram b2c409f53b
Add pending constraints strategy and make it the default search strategy (#1767)
2 years ago
Nikhil Parasaram 030d640bbb
Fixes issue with ext calls (#1733)
2 years ago
Nikhil Parasaram 0fac8e3d6d
Using cache search strategy (#1714)
2 years ago
Nikhil Parasaram 90964e55b0
Add exit code (#1662)
2 years ago
Nikhil Parasaram 510ff95655
Support symbolic bytecode (#1560)
3 years ago
Nikhil Parasaram 89bc36baa8
Support Panic(uint256) calls for asserts in v0.8.0+ (#1514)
3 years ago
Nikhil Parasaram e1f8b51c3b
Fix json issue (#1503)
3 years ago
Nikhil Parasaram c72d212c7e
[WIP] Handle exponents (#1497)
3 years ago