305 Commits (fix/boundedloops)

Author	SHA1	Message	Date
Martin Derka	75838e3a8d	Added support for solidity 0.5.x (#1219) ... * Added support for solidity 0.5.x * Formatting using black * Added missing requirement for tests to pass * Fixed py-solc-x version * Added packages to setup * Removed py35 from tox * Synced the solc version for the test * Updated the test smart contract to floating pragma	5 years ago
Nathan	9f04fa0c8a	Fixes for latest pythx version	5 years ago
Nikhil Parasaram	c8d91b6f41	Add the rest of the precompiles (#990) ... * Support modular exponentiation for concrete data * Add elliptic curve operations * Fix type hints and refactor code * Support usage of the rest of the native contracts * Remove unused imports * Add tests for elliptic curve functions * Use a constant for native functions count * Update py_ecc version * Use PRECOMPILE_COUNT over hardcoded value * Use shortened list comprehensives * Clean up imports * Use precompile count in checking precompile calls * Refactor code	5 years ago
NeolithEra	838de40858	Fix dependency conflict for issue (#1181) ... * Fix dependency conflict for issue * Fix dependency conflict for issue	5 years ago
Nathan	1080184b8a	Turn mythril into a MythX client	6 years ago
Bernhard Mueller	d86468c830	Update setup.py	6 years ago
Nikhil Parasaram	fadeaea98c	Fix problem with requirements (#1066)	6 years ago
Joran Honig	1ad0e8b844	refactor and update setup.py ... - update project name in setup.py & documentation - update copyright - update url - update setup.py according to best practices	6 years ago
Bernhard Mueller	d25cd7a47e	Update z3 version in setup.py	6 years ago
Dr. Sergey Pogodin	1fe3a8876f	FIX: Restricts `eth-account` package version to be <=0.3.0 ... Because `eth-account@0.4.0` depends on `eth_abi>=2.0.0b7`, which conflicts with `eth_abi==1.3.0` required by `mythril-classic`. As I am looking for a rapid fix, I am restricting `eth-account<=0.3.0` rather than trying to allow higher versions of `eth_abi`. Thus, leaving to `mythril-classic` team to inverstigate possibility of update to latest `eth-account` and `eth_abi`, and fix any related issues.	6 years ago
Dr. Sergey Pogodin	3e4e4a2517	FIX: Restricts `eth-account` package version to be <=0.3.0 ... Because `eth-account@0.4.0` depends on `eth_abi>=2.0.0b7`, which conflicts with `eth_abi==1.3.0` required by `mythril-classic`. As I am looking for a rapid fix, I am restricting `eth-account<=0.3.0` rather than trying to allow higher versions of `eth_abi`. Thus, leaving to `mythril-classic` team to inverstigate possibility of update to latest `eth-account` and `eth_abi`, and fix any related issues.	6 years ago
Joran Honig	8c1e7e58b5	add matplotlib to dependencies	6 years ago
Joran Honig	302817340f	remove dependency from setup	6 years ago
Joran Honig	14cd59c15e	add matplotlib to dev requirements	6 years ago
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 ... Following commits will use overflow checking APIs that are only available in newer versions of Z3.	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 ... support as suggested by @srisankethu	6 years ago
tintinweb	a8ef85a99d	change setup.py pypi publish method to using twine ... use Readme.md in markdown format for long_description on pypi instead of static text	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 ... Update version	6 years ago
Nikhil Parasaram	9f76cac358	v0.18.8	6 years ago
Bernhard Mueller	e32c1dcc42	Remove --search-all flag	6 years ago