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 54021f16d2 Fix InstanceList constructor
7 years ago
Bernhard Mueller 0083aafc49 Search function now returns contract code
7 years ago
Bernhard Mueller 4919d1211b Change database structure
7 years ago
Bernhard Mueller 2ce3dc050c Remove old utility
7 years ago
Bernhard Mueller 3017dd21e1 Update requirements.txt
7 years ago
Bernhard Mueller 8eaa6c5e16 Small fixes
7 years ago
Bernhard Mueller 716c38ab6e Merge branch 'leveldb'
7 years ago
Bernhard Mueller 63f5ee4156 Finalize new backend db
7 years ago
Bernhard Mueller 7ded07a8ad Update backend database to ZODB
7 years ago
Bernhard Mueller c44923c75a Update backend database to ZODB
7 years ago
Bernhard Mueller eb6cca4d5d Merge branch 'leveldb'
7 years ago
Bernhard Mueller 8338b85c4d Modified gitignore
7 years ago
Bernhard Mueller 82b2f70045 Update README.md
7 years ago
Bernhard Mueller 062dbc31b5 Update README.md
7 years ago
Bernhard Mueller ce8001f05e Add hash calculation
7 years ago
Bernhard Mueller 28efcf92b4 Trace now returns a string
7 years ago
Bernhard Mueller d1761aae51 Better tracing
7 years ago
Bernhard Mueller 20a6aca331 Remove obsolete functions
7 years ago
Bernhard Mueller a425181b6a Remove 'assemble' function
7 years ago
Bernhard Mueller a162c7d4d6 Obtain contract code from database
7 years ago
Bernhard Mueller 53abd900fd Add contract search
7 years ago
Bernhard Mueller a7be75d260 Add simple search
7 years ago
Bernhard Mueller f4ec7ef0a5 Improve exception handling
7 years ago
Bernhard Mueller 4e1ee61ae0 Change encoding to UTF-8
7 years ago
Bernhard Mueller b77710f4d5 Fix encoding bug in assembler
7 years ago
Bernhard Mueller b24ca7f8b0 Update setup.py
7 years ago
Bernhard Mueller 02e8eff9e4 Python 2 compatibility fix
7 years ago
Bernhard Mueller 3583d77cb7 Remove unneeded imports from setup.py
7 years ago
Bernhard Mueller 3cacd082a0 Update description in setup.py
7 years ago
Bernhard Mueller 44cc81ae5a Python 3 and Pypi package fixes
7 years ago
Bernhard Mueller 4bbc0b06d6 Update README
7 years ago
Bernhard Mueller 2b51d575ac Pypi-readiness
7 years ago
Bernhard Mueller d76d5ec528 Refactor and add setup.py
7 years ago
Bernhard Mueller 2e0746eb5f Update docs
7 years ago
Bernhard Mueller a158ac20b0 Update docs
7 years ago
Bernhard Mueller ec3b7fc094 Update docs
7 years ago
Bernhard Mueller 9d78ceef14 Update README.md
7 years ago
Bernhard Mueller ede936d811 Update README
7 years ago
Bernhard Mueller 3e0630af14 Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 478d3fd534 Add tracing functionality
7 years ago
Bernhard Mueller aad5d600fc Fix grammar
7 years ago
Bernhard Mueller 07e85bdf6b Update README.md
7 years ago
Bernhard Mueller fdbe59270a Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller 0066002d74 Remove temp files from repo
7 years ago
Bernhard Mueller 21361e4b69 Fix TxID in README
7 years ago
Bernhard Mueller 2a6d83b93b Use bytearrays to handle bytecode
7 years ago
Bernhard Mueller b8002f2c0a Fix arg parsing
7 years ago
Bernhard Mueller 95a8834f69 Refactor & fix cmdline parsing
7 years ago
Bernhard Mueller ed7902cb5c Parsing of RPC options
7 years ago
Bernhard Mueller 8b8e18d3b4 Some refactoring
7 years ago