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

27 Commits (d96b9c2c77dc6c76c4f329f0b44e6068657b032e)

Author SHA1 Message Date
Bernhard Mueller 28326d6245 Rename ETHContract -> EVMContract
6 years ago
Bernhard Mueller e04dd1cdda Refactor package and class names
6 years ago
Bernhard Mueller 4ba65c8a8e Max transaction count a fixed parameter
6 years ago
Dominik Muhs d269482048 Apply black
6 years ago
Dominik Muhs a9b43f56d2 Separate detection module collection from laser
6 years ago
Nathan b6c4ad1cbd Refactor state.py into multiple files (#698)
6 years ago
Nikhil Parasaram 792952dd13 Add max transaction counts to tests and truffle
6 years ago
Dominik Muhs 524c10a8c8 Merge develop into dmuhs/type-hints
6 years ago
Dominik Muhs 9af7018235 Apply black
6 years ago
Dominik Muhs e0cd08a58b Apply black style formatting
6 years ago
Nathan b85cb1415b svm test hack
6 years ago
Joran Honig 2d443fc1ff Fix import errors
6 years ago
Joran Honig d9de7114dd Store world state
6 years ago
Joran Honig d0feeb046b use max depth
6 years ago
JoranHonig 631ebe07b7
Worklist implementation (#288)
7 years ago
LieutenantRoger f14b21e16d Merge laser into mythril
7 years ago
Bernhard Mueller bd4be45032 Update contract<>address mapping logic
7 years ago
Bernhard Mueller 5bae571074 Refactor
7 years ago
Bernhard Mueller 3c6f35a771 Refactor and update unit test
7 years ago
Bernhard Mueller e11eb8204b Update unit test
7 years ago
Bernhard Mueller afd80c3f67 Add dynamic loader
7 years ago
Bernhard Mueller 3d76f4e15f Update unit test
7 years ago
Bernhard Mueller 8b44c79990 Update unit test
7 years ago
Bernhard Mueller 457681f1fc Update unit test
7 years ago
Bernhard Mueller 5df9735fa9 Update unit test
7 years ago
Bernhard Mueller 647dda765e Refactor
7 years ago
Bernhard Mueller 96986960a5 Add SVM/CFG test
7 years ago