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

3547 Commits (c710d0a27d1081c2890893a69f3ebb24612609ce)
 

Author SHA1 Message Date
Bernhard Mueller c710d0a27d Disable effects check
6 years ago
Bernhard Mueller bd45c34c6c Experimental stuff
6 years ago
Bernhard Mueller 19ba9b895a Remove unused helper function
6 years ago
Bernhard Mueller bb2487e8bf Remove overflow cache as it no longer speeds up the analysis
6 years ago
Bernhard Mueller 01990f3298 Remove constraints dump
6 years ago
Bernhard Mueller c81642e1f3 Merge branch 'refactor_integer_module' of github.com:ConsenSys/mythril into refactor_integer_module
6 years ago
Bernhard Mueller 37d2fee4a8 Ad even more debugging
6 years ago
Bernhard Mueller f30375c0d3
Merge branch 'develop' into refactor_integer_module
6 years ago
Nikhil Parasaram fadeaea98c
Fix problem with requirements (#1066)
6 years ago
Bernhard Mueller 9f17033ccd Never forget black
6 years ago
Bernhard Mueller c121372792 Refactor integer module
6 years ago
Nikhil Parasaram 85c599d832
Add a check for analysis modules run (#1064)
6 years ago
Nikhil Parasaram d51d8fd871
Change the build branch for flag
6 years ago
Nikhil Parasaram ff767f7fd5
Fix badge by passing token
6 years ago
Nikhil Parasaram 415b611c3c
Fix Dockerfile
6 years ago
JoranHonig 7f0ad42945
Merge pull request #1062 from ConsenSys/feature/refactor_setup.py
6 years ago
Joran Honig 0d4023d629 rename to __version__
6 years ago
Joran Honig 3ad9919527 apply style rules
6 years ago
Joran Honig 678ff395ec remove unused pipfile
6 years ago
Joran Honig 1ad0e8b844 refactor and update setup.py
6 years ago
Bernhard Mueller 096159768d
Merge pull request #1061 from ConsenSys/master
6 years ago
Bernhard Mueller 98f1bd8534
Merge pull request #1058 from ConsenSys/develop
6 years ago
Bernhard Mueller 3cdc44f9e6
Merge pull request #1057 from ConsenSys/master
6 years ago
Bernhard Mueller c49500d662 Bump version
6 years ago
Bernhard Mueller 247f2b50e9
Merge pull request #1056 from ConsenSys/develop
6 years ago
Bernhard Mueller 317f647b50
Merge pull request #1054 from ConsenSys/ether_thief_fix
6 years ago
Bernhard Mueller 1f226e1ac4 Add constraints on sender and receiver
6 years ago
Bernhard Mueller 2e6c8aa05f
Merge pull request #1052 from ConsenSys/develop
6 years ago
Bernhard Mueller 01e15f0454 Bump version
6 years ago
JoranHonig 46ae245d06
Merge pull request #946 from ConsenSys/enhance/tests
6 years ago
Bernhard Mueller 02f7f15b99
Merge branch 'develop' into enhance/tests
6 years ago
Bernhard Mueller 8d6204e900
Merge pull request #1047 from ConsenSys/refactor_modules
6 years ago
Nikhil Parasaram e384ee8f58 Add comments
6 years ago
Nikhil Parasaram d74545f0a7 Merge with develop
6 years ago
Bernhard Mueller 39364503f1 More annotations, fix problem in predictable_vars module
6 years ago
Bernhard Mueller 53ee990b2f Merge branch 'refactor_modules' of github.com:ConsenSys/mythril-classic into refactor_modules
6 years ago
Bernhard Mueller a134a05206 Fix method annotations and remove redundant return statements
6 years ago
Bernhard Mueller 11a6815c68
Merge branch 'develop' into refactor_modules
6 years ago
Bernhard Mueller b055707ac0
Update README.md
6 years ago
Bernhard Mueller 2e62bbaea1
Update README.md
6 years ago
Bernhard Mueller 76c2219f56 Update method descriptions
6 years ago
Bernhard Mueller ab940af8b7 Refactor module logging
6 years ago
Bernhard Mueller e4f3a4a9a7
Update README.md
6 years ago
Bernhard Mueller 44e31a216e
Update README.md
6 years ago
Bernhard Mueller a0c6fecb86
Merge pull request #1027 from ConsenSys/global_timeout
6 years ago
Nikhil Parasaram 9c5ac58df9
Merge branch 'develop' into global_timeout
6 years ago
Nikhil Parasaram 9dfd2aa604
Enhance delegate call (#1042)
6 years ago
Bernhard Mueller a809e8005e
Merge branch 'develop' into global_timeout
6 years ago
Bernhard Mueller d25cd7a47e Update z3 version in setup.py
6 years ago
Bernhard Mueller 1f947f4884
Merge branch 'develop' into global_timeout
6 years ago