131 Commits (ca4243edd7012473d09a12b079f1f62ea80eb63d)

Author	SHA1	Message	Date
Joran Honig	ca4243edd7	restore original requirements	4 years ago
Joran Honig	1868739803	fix broken edge case where sign_bit_set is symbolic	4 years ago
Nikhil Parasaram	d8aa12d62b	[WIP]Use latest mythril CI image (#1463) ... * Use updated container * Use geth option * Use geth option * Update geth command * use http flag * Fix the geth flags * Remove rpc test and use 0.5.0 * black * Fix tests for different solc version * Fix tests for different solc version * Fix analyzer test * Fix eth-hash	4 years ago
Nikhil Parasaram	c4ec9b656b	Update z3 to fix the push canceled (#1451)	4 years ago
Nikhil Parasaram	9bf093a23b	Fix versions (#1450) ... * Fix versions * Fix numpy version	4 years ago
Nikhil Parasaram	c51531ee51	Fix rlp versions (#1437)	4 years ago
Nikhil Parasaram	a257df3074	Update solc-x (#1430) ... * Update solc-x and change some functions * make some changes * update requirements	4 years ago
jim zhou	a5ac7dcdaa	Fixing py-solc-x usage to automatically download or compile correct solc binary and use it (#1425) ... * Fixed cases where multiple versions of solc is needed on the system, and the default version installed isn't the version required. * Fixed setup.py * black * Bump semver requirement * Put mythril_disassembler.py version check into util.py * Pruning ethereum/util.py * Provide for cases where --solv is used with a v before the version.	4 years ago
Nikhil Parasaram	059350e4a8	Add analysis time field (#1421) ... * Add analysis time field * Update mythril/analysis/report.py Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com> * Fix requirements * Black * Fix black version Co-authored-by: Nikhil Parasaram <nikhilparasaram@Nikhils-MacBook-Pro.local> Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	4 years ago
JoranHonig	9b30a23185	Update solcx version (#1410) ... * update solcx requirement to version 0.10.0 * update integration with py-solc-x in util also improves the integration, using library call get_executable vs direct interaction with the file system	4 years ago
Joran Honig	39e727583f	update solcx requirement to version 0.10.0	4 years ago
Joran Honig	cb1854b0dc	add pre commit to repo	5 years ago
Nikhil Parasaram	f3c45c153e	Support Istanbul fork (#1292) ... * Add new opcodes * Add new precompile * Add tests * Refactor the code * Run only on python 3.6 * Remove support of python3.5 from setup.py text * Change the TODO comment * Add a logging message * Fix py-evm version Co-authored-by: JoranHonig <JoranHonig@users.noreply.github.com>	5 years ago
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	5 years ago
Nikhil Parasaram	fadeaea98c	Fix problem with requirements (#1066)	6 years ago
Aleksandr Sobolev	2ed8084d8c	Update eth-keys version conditions	6 years ago
Aleksandr Sobolev	d2d380f420	Prevent installing unsupported version of eth-account	6 years ago
Aleksandr Sobolev	b490009d28	Prevent installing unsupported version of eth-account	6 years ago
Bernhard Mueller	77bf67bd71	Use newer z3 version	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	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	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 ... Following commits will use overflow checking APIs that are only available in newer versions of Z3.	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