Commit Graph

289 Commits (remove_deprecated_taint)

Author SHA1 Message Date
Nikhil Parasaram 1e296a7a1f Move from z3 4.8.0.0 to 4.8.4 6 years ago
Nikhil Parasaram 5ae1052bdf reformat setup.py with black 6 years ago
Nikhil Parasaram 8bbfa04133 Move signatures.db to assets and also copy signatures to .mythril home directory 6 years ago
Nikhil Parasaram 180de41c2c Move signatures.db to mythril.support 6 years ago
Nikhil Parasaram b025fa813d Move eth-tester version 6 years ago
Dominik Muhs 5e0bcd3f9f Apply better doc string formatting 6 years ago
Nikhil Parasaram ab40c091a1 Correct the Manifest.ini path and moveback the signatures.db to mythril root 6 years ago
Dominik Muhs 55153a1469 Add basic docstrings to all classes and functions 6 years ago
Nikhil Parasaram 346558834c Remove mistaken line 6 years ago
Nikhil Parasaram 0b9144c4fc refactor setup.py with black 6 years ago
Nikhil Parasaram 5be2f0eea7 add the signatures.db to setup file 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
Dominik Muhs 524c10a8c8 Merge develop into dmuhs/type-hints 6 years ago
Dominik Muhs 9af7018235 Apply black 6 years ago
Dominik Muhs e0cd08a58b Apply black style formatting 6 years ago
Marcus Mönnig d362be689c Add ethereum-input-decoder dependency to setup.py and relax version constraint 6 years ago
Nikhil Parasaram e3e650553d add mypy to deps 6 years ago
Nikhil Parasaram dd661e9d92 add mypy to deps 6 years ago
Nikhil Parasaram aa368ade85 Add the mypy to setup.py 6 years ago
Nathan 39e58fcbdd added coloredlogs dependency to setup.py 6 years ago
Nikhil Parasaram b88ed32c8a
fix dependency issues 6 years ago
tintinweb bb1d86c77a replace "scripts" in favor for "entry_points" for cross-platform script 6 years ago
tintinweb a8ef85a99d change setup.py pypi publish method to using twine 6 years ago
rocky 2f13ef85f3 Python 3.5 tolerance and note what Python versions Mythril accepts 6 years ago
Nikhil Parasaram 807820763d Add transactions to the setup and requirements 6 years ago
rocky 372bc9e6a6 Add -V and --version myth CLI option 6 years ago
Nikhil Parasaram 42efe5167d
v0.18.9 6 years ago
Nikhil Parasaram 9f76cac358
v0.18.8 6 years ago
Bernhard Mueller e32c1dcc42 Remove --search-all flag 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 3ba2550354
v0.18.7 7 years ago
Josh Asplund 87fdd2fa3c
Updates jinja dependency 7 years ago
Nikhil Parasaram 35ff192db1
v0.18.6 7 years ago
Nikhil Parasaram ba3181416a add required versions of requirements 7 years ago
Nikhil Parasaram 6937285399 refactor search feature 7 years ago
Bernhard Mueller fbfa16a1b5 Bump version number 7 years ago
Dr. Sergey Pogodin d79262cb25 v0.18.4 7 years ago
Dr. Sergey Pogodin 73d95fb9bb Few extra updates of CI/CD config and Docker releases 7 years ago
Dr. Sergey Pogodin 38823c1488 Fix of CI/CD config 7 years ago
Dr. Sergey Pogodin ad31fbec94 Automatic DockerHub releases (version bumped to v0.18.1 to test it) 7 years ago
Bernhard Mueller 6230eef77b Bump version number 7 years ago
Dr. Sergey Pogodin ef11db6f6f Moves test dependencies into `tests_require` section of `setup.py` 7 years ago