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: optimise/summaries
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'optimise/summaries'
${ noResults }
Commit Graph

4865 Commits (optimise/summaries)
 

Author SHA1 Message Date
Bernhard Mueller 0da06ca796 Remove duplicate commandline flag
7 years ago
Bernhard Mueller 0ec7f57bb2 laser integration
7 years ago
Bernhard Mueller f739be8ca5 Update setup.py
7 years ago
Bernhard Mueller c9e83bb035 Some refactoring
7 years ago
Bernhard Mueller e824333583 Merge pull request #7 from step21/master
7 years ago
Bernhard Mueller 7645ff9bb1 Update .gitignore
7 years ago
step21 359e504bd3 cleanup
7 years ago
step21 5eb98c6622 add/fix tests
7 years ago
Bernhard Mueller c2a9642abf Refactoring
7 years ago
Bernhard Mueller 68cbf1296f Add -v flag
7 years ago
Bernhard Mueller 57ca25bc6e Add 'fire-lasers' option
7 years ago
Bernhard Mueller 223ad38338 Change command line arguments
7 years ago
Bernhard Mueller dc82b4b774 Update setup.py
7 years ago
Bernhard Mueller 08cfc2d817 Delete symbolic link
7 years ago
Bernhard Mueller 3748449c2a Update gitignore
7 years ago
Bernhard Mueller 5fd4674e9b Update .gitignore
7 years ago
Bernhard Mueller d04c2e7c51 Update gitignore:
7 years ago
step21 017b8db408 ipc support
7 years ago
Bernhard Mueller 57b1efcedd Small change in console output
7 years ago
Bernhard Mueller 34d22617a8 Update setup.py
7 years ago
Bernhard Mueller 9464d06188 Fix error in 'trace' parameter processing
7 years ago
Bernhard Mueller 5878acf909 Update setup.py
7 years ago
Bernhard Mueller ad14a12a3b Remove default contract address
7 years ago
Bernhard Mueller 96ea048d81 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller f7bc44ca6e Add function signatures
7 years ago
Bernhard Mueller 81fc89b694 Update README
7 years ago
Bernhard Mueller 0ebcb71443 Update setup.py
7 years ago
Bernhard Mueller 41912739ee Improve tracing output
7 years ago
Bernhard Mueller a16907666f Update setup.py
7 years ago
Bernhard Mueller 844d2a32bd Fix encoding issues in trace function
7 years ago
Bernhard Mueller 8d82553b8d Add sigs & prepend '0x' when generating hash
7 years ago
Bernhard Mueller 33ee0512dc Resolve conflict
7 years ago
Bernhard Mueller db5b68a325 Update example code
7 years ago
Bernhard Mueller 3449fd2b51 Update examples
7 years ago
Bernhard Mueller 2e8846b381 Add comments to example script
7 years ago
Bernhard Mueller a9ff3952ca Update examples
7 years ago
Bernhard Mueller c20e538de2 Update setup.py
7 years ago
Bernhard Mueller 645ca1f6ab Also save contract creation code in db sync
7 years ago
Bernhard Mueller 3b92fadfbb Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 250905e4f3 Update setup.py
7 years ago
Bernhard Mueller 9e2ee91a1c Delete test file
7 years ago
Bernhard Mueller ee30e8e7d6 Add quick fix for UnboundLocalError when parsing Xrefs
7 years ago
Bernhard Mueller 20145320cb Update README.md
7 years ago
Bernhard Mueller aabb5abf93 Add disassembler test
7 years ago
Bernhard Mueller 9006ebad1e Disassembler: prevent duplicate edges
7 years ago
Bernhard Mueller 0a4b8dc13b Fix error in setup.py
7 years ago
Bernhard Mueller 7a2a2af90e Update setup.py
7 years ago
Bernhard Mueller be48937a95 Prevent duplicate edges in callgraph
7 years ago
Bernhard Mueller b9ba52755f Fix bug in xref generator
7 years ago
Bernhard Mueller 6d6257a0a0 Update setup.py
7 years ago