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

3145 Commits (f5c73de411fe3234c90b05e358ca1bb6a71b8d43)
 

Author SHA1 Message Date
Nikhil Parasaram f5c73de411 Add missing typehint
6 years ago
Nikhil Parasaram 9a1f80b18e Seperate the annotation and fix a bug in external_calls module
6 years ago
Nikhil Parasaram 5a24f87d36 refactor code and add support with other opcodes for statechange
6 years ago
Nikhil Parasaram e0a282682d Add documentation and other call opcodes
6 years ago
Nikhil Parasaram 2de33f11d1 Fix merge conflicts
6 years ago
Nikhil Parasaram 1c16bf7741 Fix merge conflicts
6 years ago
Nikhil Parasaram c51b6ee3d6 Move state_change to a new module
6 years ago
JoranHonig 9072be4ad2
Merge pull request #933 from ConsenSys/bugfix/931
6 years ago
Nikhil Parasaram 50885dd838 increase max depth to 50 and move to bfs
6 years ago
JoranHonig 4d7721fb8d
Merge pull request #930 from ConsenSys/typos
6 years ago
Bernhard Mueller d229c0b309 Fix a couple of typos
6 years ago
JoranHonig 78743b9f58
Merge pull request #927 from ConsenSys/concolic-symbolic
6 years ago
JoranHonig 8b5ac37af7
change concolic to symbolic
6 years ago
Nathan 7ef91baa3b
Merge pull request #924 from nbanmp/typo_fix_depricated
6 years ago
Nathan ab198193fa
Merge branch 'develop' into typo_fix_depricated
6 years ago
Nathan 59aa4c775d Fix typo of DEPRICATED to DEPRECATED
6 years ago
JoranHonig c1ae1ee552
Merge pull request #901 from nbanmp/sha3_symbols
6 years ago
JoranHonig 3da602ff73
Merge branch 'develop' into sha3_symbols
6 years ago
JoranHonig 607b8c8704
Merge pull request #910 from JoranHonig/features/solver_stats
6 years ago
Joran Honig f33ee746f4 Merge remote-tracking branch 'upstream/develop' into features/solver_stats
6 years ago
Nathan 0a992bb6d9 Create helper functions for operations in bitvec.py
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
Joran Honig fb859c2cf5 Merge remote-tracking branch 'origin/features/solver_stats' into features/solver_stats
6 years ago
Joran Honig 261a9fb462 add return char
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
Joran Honig 1620b72cc2 Merge remote-tracking branch 'origin/features/solver_stats' into features/solver_stats
6 years ago
Joran Honig 0e700ce58d add dock strings
6 years ago
Nathan b9214bcb41 Fix bitvecfunc typing
6 years ago
Nathan ab6fad69e9
Merge branch 'develop' into sha3_symbols
6 years ago
Nathan 027c2b55d6
Merge branch 'develop' into rtd_docs_theme
6 years ago
JoranHonig e9b8593209
Merge branch 'develop' into features/solver_stats
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