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

12 Commits (z3)

Author SHA1 Message Date
Nikhil Parasaram f8f59dfdd2
Update docs and Add tutorial (#1664)
2 years ago
Nikhil Parasaram 5d61aae5b0
Remove solc version check in tests
5 years ago
rocky 2f13ef85f3 Python 3.5 tolerance and note what Python versions Mythril accepts
6 years ago
rocky e2bfeef33f Check and report status of various required packages
7 years ago
LieutenantRoger f14b21e16d Merge laser into mythril
7 years ago
Josh Asplund 09521c1190 Adds circleci test support
7 years ago
Joran Honig 0a14db0481 Add dependency check to test script
7 years ago
freewind 73096acfa2 make sure use same signatures.json in every test
7 years ago
freewind 2d4fe3956b Use temp files to store tests output, make it easy to compare results if output changes
7 years ago
freewind 2458b5302d Use `python3` explicitly to reduce conflict
7 years ago
Bernhard Mueller 16701d94b3 Add more unit tests
7 years ago