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

111 Commits (notify-unreachable-code)

Author SHA1 Message Date
Josh Asplund 09521c1190 Adds circleci test support
7 years ago
Josh Asplund 64d308b513 Updates requirements
7 years ago
Josh Asplund 0f0e154000 Initial template implementation.
7 years ago
Dr. Sergey Pogodin a3e1d71018 Fix of CI/CD
7 years ago
Dr. Sergey Pogodin 6719e7c0f2 Initial draft of the CI/CD with Circle CI
7 years ago
Bernhard Mueller 8462a8e7f2 Bump LASER version
7 years ago
Bernhard Mueller fb708b5b0f Bump LASER version
7 years ago
freewind ce41bfb739 add 'coverage' to generate testing coverage report
7 years ago
freewind a59b12124c add missing required dependencies, and upgrade ethereum to latest version
7 years ago
Bernhard Mueller 469d428d29 Bump LASER version
7 years ago
Bernhard Mueller 91b8b616b1 Bump LASER version
7 years ago
Bernhard Mueller 851283bc5c Intialize disassembly in ETHCContract init method
7 years ago
Bernhard Mueller 6c2b7cc5f0 Update laser-ethereum version in requirements.txt
7 years ago
Dr. Sergey Pogodin f1430a8c3e CODE: CLI Refactoring
7 years ago
Bernhard Mueller 1c504013b7 Bump LASER version
7 years ago
Bernhard Mueller 85d75846e5 Bump LASER version
7 years ago
Bernhard Mueller 75ebb4c13a Bump LASER version
7 years ago
Bernhard Mueller 4c1b3baa8a
Update requirements.txt
7 years ago
Bernhard Mueller c3c9b7d635 Bump version number:
7 years ago
Bernhard Mueller aacda66e15 Bump version numbers
7 years ago
Bernhard Mueller bd4be45032 Update contract<>address mapping logic
7 years ago
Bernhard Mueller b760e006fe Bump LASER version
7 years ago
Bernhard Mueller 12bc854381 LASER v2 compatibility fixes & code formatting
7 years ago
Bernhard Mueller fead534258 LASER rewrite
7 years ago
Bernhard Mueller ed2baf9bd2 Bump LASER version
7 years ago
Bernhard Mueller 35a9cd63e6 Bump LASER version
7 years ago
Bernhard Mueller 0b7e71b598 Bump LASER version
7 years ago
step21 97c3384943 added solc to requirements and setup.py
7 years ago
Bernhard Mueller bfd708d396 Bump laser & Mythril versions
7 years ago
Bernhard Mueller 7f98e3cda7 Add debugging code
7 years ago
Bernhard Mueller 3cbf9c0e32 Bump laser version & update setup.py
7 years ago
Bernhard Mueller 67cc17cad3 Update setup.py & bump LASER version
7 years ago
Bernhard Mueller dab64bb058 Bump LASER version
7 years ago
Bernhard Mueller 98355dc35e Bump LASER version (performance fix)
7 years ago
Bernhard Mueller 60cd332739 Update setup.py and requirements
7 years ago
Bernhard Mueller c8e8ade09c Update setup.py and requirements
7 years ago
Bernhard Mueller 48b98ca267 Update setup.py and requirements
7 years ago
Bernhard Mueller 3ed01bf77a Update setup.py and requirements
7 years ago
Bernhard Mueller 3b91d912bf LASER version bump and small fixes
7 years ago
Bernhard Mueller d6455d330d Update setup.py & requirements
7 years ago
Bernhard Mueller 3be0cc3439 Update setup.py and requirements.txt
7 years ago
Bernhard Mueller eef332026c Bump LASER version
7 years ago
Bernhard Mueller 35743e84d6 Bump LASER version
7 years ago
Bernhard Mueller 2131cf7c87 Update requriements and setup.py
7 years ago
Bernhard Mueller 2f8a2f14b2 Bump LASER version
7 years ago
Bernhard Mueller 7c09dcea2a Bump LASER version
7 years ago
Bernhard Mueller 76e2eacab6 Update requirements.txt
7 years ago
Bernhard Mueller e4e3942d3b Update setup.py and requirements
7 years ago
Bernhard Mueller 1108511890 Update setup.py and requirements
7 years ago
Bernhard Mueller 9a5fc76743 Update setup.py & requirements
7 years ago