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

3948 Commits (fix-balance-overflow)
 

Author SHA1 Message Date
Bernhard Mueller b692ae4274 Update example graph
7 years ago
Bernhard Mueller 810e12d701 Fix edge label creation bug
7 years ago
Bernhard Mueller c132f255c5 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller fe61146842 Add example for blog article
7 years ago
Bernhard Mueller e8ea7d8dd3 Update README.md
7 years ago
Bernhard Mueller e8199e3075 Update README.md
7 years ago
Bernhard Mueller 0b59be6607 Update README
7 years ago
Bernhard Mueller ef47f42968 Update setup.py
7 years ago
Bernhard Mueller 8535755e04 Merge pull request #13 from step21/cleanup
7 years ago
Bernhard Mueller 0005724380 Merge pull request #12 from maurelian/tlsOption
7 years ago
Bernhard Mueller f96542a4c5 Merge pull request #14 from step21/ipc
7 years ago
step21 59d4492bb8 removing db functions removed from geth
7 years ago
step21 3c25921fda removed db functions, fixed helper functions not necessary for web3py and added missing functions & cleanup
7 years ago
step21 24915ae23b actually activating ipc tracing
7 years ago
Bernhard Mueller a1f1716283 Update README.md
7 years ago
Bernhard Mueller 2b72e9c2bb Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller c77062e1d7 Update setup.py
7 years ago
maurelian c8d782ef00 Add tls option to enable syncing with remote node
7 years ago
Bernhard Mueller 95759928e8 Update README.md
7 years ago
maurelian a7741b24e3 Add tls option
7 years ago
Bernhard Mueller c23ecd09ba Update README.md
7 years ago
Bernhard Mueller 66d9b61db2 Update setup.py
7 years ago
Bernhard Mueller 95e780703e Further limit uses of persistent storage
7 years ago
Bernhard Mueller dbf4767161 Merge branch 'revise_blocks'
7 years ago
Bernhard Mueller 6149e2911b Remove unneeded code from disassembler
7 years ago
step21 dfecf9da26 Merge pull request #1 from b-mueller/master
7 years ago
Bernhard Mueller e22196d462 Update README.md
7 years ago
Bernhard Mueller 155d9e3091 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller cc415a3455 Update CFG image
7 years ago
Bernhard Mueller 33b512fc68 Update README.md
7 years ago
Bernhard Mueller f04270cd7f Update README.md
7 years ago
Bernhard Mueller 086e8dd99f Update README.md
7 years ago
Bernhard Mueller 1d64166351 Only open contract storage for operations that need it
7 years ago
Bernhard Mueller 1b56bacc91 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 44a47dc20a Catch an error condition in contract sync
7 years ago
Bernhard Mueller a51a2f8f43 Update README.md
7 years ago
Bernhard Mueller 66c1c2fca1 Remove newlines in edge labels
7 years ago
Bernhard Mueller 9b04e3d22c Update setup.py
7 years ago
Bernhard Mueller ae357ce2f1 Merge pull request #10 from step21/master
7 years ago
Bernhard Mueller cabb8bd813 Add disable-physics flag, group cmdline args
7 years ago
Bernhard Mueller 1f38bbd450 Update sample graph
7 years ago
Bernhard Mueller 912cc3ecd1 Fix regex
7 years ago
Bernhard Mueller 4978b40abb Update demo graph HTML
7 years ago
Bernhard Mueller 4dc0671582 Update setup.py
7 years ago
Bernhard Mueller d88920a320 Improve callgraph readability
7 years ago
Bernhard Mueller 6ef79397e0 Update setup.py:
7 years ago
Bernhard Mueller 511304d6ec Update README.md
7 years ago
Bernhard Mueller fc871b2ea2 Improve callgraph readability
7 years ago
Bernhard Mueller 96c2f52dd8 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 81bd7abc91 Improve callgraph readability
7 years ago