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

107 Commits (3e3eb1805091ad141f8a06c2267768202a5bd9a3)

Author SHA1 Message Date
Nikhil Parasaram 1e296a7a1f Move from z3 4.8.0.0 to 4.8.4
6 years ago
Nikhil Parasaram b025fa813d Move eth-tester version
6 years ago
Nikhil Parasaram 935ea2c704 Fix py_ecc version
6 years ago
Nikhil Parasaram d9d88ad6aa Change eth-abi version to 1.3.0
6 years ago
Nikhil Parasaram 2bdf805952 Change eth-abi version
6 years ago
Nikhil Parasaram 70d237907f Fix dependency issues
6 years ago
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
6 years ago
Nikhil Parasaram ba3181416a add required versions of requirements
6 years ago
Nikhil Parasaram 6937285399 refactor search feature
6 years ago
Federico Gimenez a986eb9357 remove redundant pytest requirement and sort requirements file
6 years ago
LieutenantRoger 6886d149c7 Another small update
6 years ago
LieutenantRoger afc4b4a719 Fix the pytest version to 3.6.0
6 years ago
LieutenantRoger fd46d49b4f Revert change on requirements.txt
6 years ago
LieutenantRoger b08d42b144 Adding a fix version to pytest in setup.py and requirements.txt
6 years ago
LieutenantRoger f14b21e16d Merge laser into mythril
6 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