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

3103 Commits (c51b6ee3d6fc8de2bc4b52e7f5379c6b0ff6c8d7)
 

Author SHA1 Message Date
Nikhil Parasaram c51b6ee3d6 Move state_change to a new module
6 years ago
Nikhil Parasaram b55fa8aa40 Merge with develop
6 years ago
Nikhil Parasaram 8e46c9be42 Detect State changes after external calls
6 years ago
JoranHonig 36b1aaca3b
Merge pull request #907 from JoranHonig/features/effectcheck_overflow
6 years ago
JoranHonig aa4ac48045
add missing word to comment string
6 years ago
JoranHonig 08488e5449
Merge branch 'develop' into features/effectcheck_overflow
6 years ago
Bernhard Mueller d757d422f3
Update README.md
6 years ago
Bernhard Mueller c4a96568ed
Update README.md
6 years ago
Bernhard Mueller f421811d1b
Update README.md
6 years ago
Nikhil Parasaram 5976110c08
Merge pull request #917 from ConsenSys/bugfix/916
6 years ago
Nikhil Parasaram 5b0b379cdf Merge branch 'develop' of github.com:ConsenSys/mythril into bugfix/916
6 years ago
Nikhil Parasaram 3ad020a6a2 Redirect stdout to null when executing self.raw.check()
6 years ago
JoranHonig c003461493
Merge pull request #911 from JoranHonig/features/execution_statistics
6 years ago
JoranHonig 9340dd74de
Merge branch 'develop' into features/execution_statistics
6 years ago
JoranHonig 3ae4e2e59a
Merge pull request #909 from nbanmp/rtd_docs_theme
6 years ago
JoranHonig 6ba6b29435
Merge branch 'develop' into features/execution_statistics
6 years ago
Nathan 027c2b55d6
Merge branch 'develop' into rtd_docs_theme
6 years ago
JoranHonig 5a04e92686
Merge pull request #912 from nbanmp/fix_207
6 years ago
Joran Honig 158cda6cec Merge remote-tracking branch 'origin/features/execution_statistics' into features/execution_statistics
6 years ago
Joran Honig f675b08889 apply style rules
6 years ago
JoranHonig 052a19c4c9
Merge branch 'develop' into fix_207
6 years ago
JoranHonig c4aebfa916
Merge branch 'develop' into fix_207
6 years ago
JoranHonig 758d0ee67e
Merge branch 'develop' into features/execution_statistics
6 years ago
Nikhil Parasaram 5359c44348
Merge pull request #908 from ConsenSys/bugfix/BECtoken
6 years ago
Nikhil Parasaram c78d0e89bc
Merge branch 'develop' into bugfix/BECtoken
6 years ago
JoranHonig 1c44a22d95
Merge branch 'develop' into features/execution_statistics
6 years ago
JoranHonig 4ed03ced09
Merge pull request #913 from ConsenSys/bugfix/test_image
6 years ago
JoranHonig 5cb9d84d2a
adapt version of test image used
6 years ago
Nathan 355e214447 Create test output folders if they don't exist
6 years ago
Joran Honig f6ac9fd7f8 add documentation to benchmark
6 years ago
Joran Honig 0a2a4484ab add hooks to svm required for benchmarking
6 years ago
Nikhil Parasaram f95c9de640
Merge branch 'develop' into bugfix/BECtoken
6 years ago
JoranHonig 990bff2a0a
Merge pull request #902 from JoranHonig/features/independence_optimization
6 years ago
Nathan 3e3eb18050 Update docs theme to the read the docs theme
6 years ago
Joran Honig 02abfa1d68 use separate variable for type purposes
6 years ago
Joran Honig 3ca11d9262 fix type errors
6 years ago
Nikhil Parasaram f3aedd356c Use only Bool in constraints
6 years ago
Joran Honig 50a6080e78 add missing type hints to independence solver
6 years ago
Joran Honig 94ea7831c6 add required type hint
6 years ago
Joran Honig a772d58caa add type cast to solver
6 years ago
Joran Honig caa06776c5 interpret constraints as * argument
6 years ago
Joran Honig fa01a9a8ec Merge remote-tracking branch 'upstream/develop' into features/independence_optimization
6 years ago
Bernhard Mueller 3c1445bec0
Update README.md
6 years ago
JoranHonig adec5f608e
Merge pull request #897 from ConsenSys/enhance/604
6 years ago
Nikhil Parasaram 26e6e1777b Fix typehint for __iadd__
6 years ago
Joran Honig 1bd944c23e apply style rules
6 years ago
Joran Honig 103361f555 adapt gasvalue for testcases
6 years ago
Joran Honig 734d6c9b4a add ident argument
6 years ago
Joran Honig e33a32a3a6 add hooks and type dependencies
6 years ago
Joran Honig 8ab0fb1c41 add function end handler and use state annotation
6 years ago