TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
4896 Commits
97 Branches
171 Tags
59 MiB
Tag: Branch: Tree: dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.13.3.0
Branches Tags
${ item.name }
Create tag ${ searchTerm }
Create branch ${ searchTerm }
from 'dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.13.3.0'
${ noResults }
Commit Graph

4896 Commits (dependabot/pip/z3-solver-gte-4.8.8.0-and-lte-4.13.3.0)
 

Author SHA1 Message Date
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
Bernhard Mueller 5c5e1aef5a Merge branch 'master' of github.com:b-mueller/mythril
7 years ago
Bernhard Mueller ecfff95240 Update .gitignore
7 years ago
Bernhard Mueller 48948c4f7f Some refactoring
7 years ago
Bernhard Mueller fe354ead97 Update README.md
7 years ago
Bernhard Mueller b62b4a90a8 Update README.md
7 years ago
Bernhard Mueller 477763fbcf Update README.md
7 years ago
Bernhard Mueller 7a04ce3c11 Update README.md
7 years ago
Bernhard Mueller bf39cf4446 Create README.md
7 years ago
Bernhard Mueller 6be089c9b7 Python 3 compatibility fix
7 years ago
Bernhard Mueller 5f75257cea Initial commit
7 years ago
Bernhard Mueller 306d190809 Initial commit
7 years ago