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

4111 Commits (bug/invalid-loop-pruning)
 

Author SHA1 Message Date
Bernhard Mueller 9bdf3214bb Add exception handling for xref search
7 years ago
Bernhard Mueller f37af1b258 Update README.md
7 years ago
Bernhard Mueller a5193e6645 Update README.md
7 years ago
Bernhard Mueller 670097302a Update .gitignore
7 years ago
Bernhard Mueller 31c5bbdc70 Update setup.py
7 years ago
Bernhard Mueller 303c2043a0 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller cbc40bcff6 Update .gitignore
7 years ago
Bernhard Mueller 16701d94b3 Add more unit tests
7 years ago
Bernhard Mueller 2a76ee57bd Update README.md
7 years ago
Bernhard Mueller 19fa132d80 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller ff9f5aa9e3 Add unit tests
7 years ago
Bernhard Mueller 8dbfe72b0f Update README.md
7 years ago
Bernhard Mueller b744b578bd Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 78b1289332 Add exception handler for search syntax errors
7 years ago
Bernhard Mueller 3e25121664 Update README.md
7 years ago
Bernhard Mueller 0cbefed32d Update README
7 years ago
Bernhard Mueller 9a45d6bc8b Fix incorrect import
7 years ago
Bernhard Mueller e7e3013524 Update setup.py
7 years ago
Bernhard Mueller ce105392fb Remove unneeded files
7 years ago
Bernhard Mueller fec1c4421d Add xrefs command line option
7 years ago
Bernhard Mueller b9bf04be9a Fix default database dir
7 years ago
Bernhard Mueller ec7d7cb53b Fix incorrect import
7 years ago
Bernhard Mueller b293d0998d Remove unneeded files
7 years ago
Bernhard Mueller 5763fe234c Update setup.py
7 years ago
Bernhard Mueller d51932f4c6 Remove unneeded files
7 years ago
Bernhard Mueller f4681f5d79 Update .gitignore
7 years ago
Bernhard Mueller a25932c9e3 Change default db dir and add option to change it
7 years ago
Bernhard Mueller 3605fd0f34 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 454bd5b7bc Update setup.py
7 years ago
Bernhard Mueller a1bceef74e Fix README formatting
7 years ago
Bernhard Mueller ecac3fe9d3 Update README.md
7 years ago
Bernhard Mueller 8ff72a4af5 Update README.md
7 years ago
Bernhard Mueller f05b56c4fc Update search syntax and README
7 years ago
Bernhard Mueller a15bda8b4a Remove debugging code
7 years ago
Bernhard Mueller 99376d7d63 Change search expression syntax
7 years ago
Bernhard Mueller c317af33ee Add get_xrefs function to ETHContract
7 years ago
Bernhard Mueller 282d362b80 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller e611a961e3 Change class name ETHCode -> ETHContract
7 years ago
Bernhard Mueller c48a7c69f0 Add pixelated axe
7 years ago
Bernhard Mueller 4923f2db9d Add logo
7 years ago
Bernhard Mueller 890739139e Update documentation
7 years ago
Bernhard Mueller b3981ba782 Update README
7 years ago
Bernhard Mueller 4ca1310151 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 68077a3206 Update README.md
7 years ago
Bernhard Mueller f54afd889c Update README.md
7 years ago
Bernhard Mueller 74a2ab0185 Update setup.py
7 years ago
Bernhard Mueller 9dbcc34f7a Update db initialization
7 years ago
Bernhard Mueller 96da9222ed Remove broken function
7 years ago
Bernhard Mueller edf9349a91 Move ethcontract.py
7 years ago
Bernhard Mueller a22354728c Remove broken signatures file
7 years ago