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

101 Commits (5c70bdcf9499d59b6f866891c49f81c02e0faad3)

Author SHA1 Message Date
Bernhard Mueller 66a259c524 Relax z3 version requirements
6 years ago
Joran Honig 8d6a6a10ef raise z3 version
6 years ago
Bernhard Mueller 9c92f1b24c Fix z3 version
6 years ago
Haozhong Zhang 0d0d8e5ac3 dependencies: bump the minimal Z3 version to 4.8
6 years ago
Joran Honig 9fe0964f35 merge fixes
6 years ago
Dominik Muhs 524c10a8c8 Merge develop into dmuhs/type-hints
6 years ago
Marcus Mönnig d362be689c Add ethereum-input-decoder dependency to setup.py and relax version constraint
6 years ago
Marcus Mönnig 54280ec2c4 Add query-signature argument, add ethereum-input-decoder to requirements
6 years ago
Nathan f6b2352a60 Added coloredlogs
6 years ago
Dominik Muhs 2e4f194231 Set eth-typing version number as required by eth-utils
6 years ago
Nikhil Parasaram 807820763d Add transactions to the setup and requirements
6 years ago
Nikhil Parasaram 9ff9e80f44 upgrade rlp version
6 years ago
Nikhil Parasaram 24fad14cbd fix ethereum to 2.3.1
6 years ago
Nikhil Parasaram c36ae84096
Add jinja2 version dependency to requirements
7 years ago
Nikhil Parasaram ba3181416a add required versions of requirements
7 years ago
Nikhil Parasaram 6937285399 refactor search feature
7 years ago
Federico Gimenez a986eb9357 remove redundant pytest requirement and sort requirements file
7 years ago
LieutenantRoger 6886d149c7 Another small update
7 years ago
LieutenantRoger afc4b4a719 Fix the pytest version to 3.6.0
7 years ago
LieutenantRoger fd46d49b4f Revert change on requirements.txt
7 years ago
LieutenantRoger b08d42b144 Adding a fix version to pytest in setup.py and requirements.txt
7 years ago
LieutenantRoger f14b21e16d Merge laser into mythril
7 years ago
Joran Honig 1f50895c56 Initial delegate call tests
7 years ago
Josh Asplund 0af395f57a Removes attrs from requirements
7 years ago
Bernhard Mueller fb28d30f88 Bump LASER version
7 years ago
Bernhard Mueller 1e2de07f46 Bump laser version
7 years ago
Bernhard Mueller 35b618ee87 Improve CFG formatting
7 years ago
Bernhard Mueller 363d16c9e3 Bump laser version
7 years ago
Bernhard Mueller c3b7b1b6c5 Bump laser version
7 years ago
Bernhard Mueller d6507bc2b6 Bump laser version
7 years ago
Bernhard Mueller 4437588c29 Bump laser version
7 years ago
Bernhard Mueller 88a456c1d4 Bump LASER version
7 years ago
Bernhard Mueller a55fdebe6a Bump LASER version
7 years ago
Bernhard Mueller 37ed299f22 Update LASER version
7 years ago
Bernhard Mueller 0d257f76e6 Bump LASER version
7 years ago
Lee Azzarello f26f781d9e explicitly satisfy rlp dependency
7 years ago
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