16 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
Nikhil Parasaram	787b4f2ec2	supress tox warnings	6 years ago
Nikhil Parasaram	a25d782b90	Fix type hinting to mythril module and fix typehints in svm, disassembler, state modules	6 years ago
Dominik Muhs	0e9e4bf0b1	SQLite Signature DB (#758) ... * Add first version of sqlite signature db * Adapt truffle module to new signature db * Fix tests * Remove old DB code * Apply black * Add sqlite dev dependency * Add sqlite dev dependency * Add more type hints * Apply black * Adapt old naming in manifest and gitignore * Add minor fixes to signature DB * Add repr to signature db * Apply black * Add mythril dir env var * Replace __del__ with SQLite context manager * Add SQLite context manager repr and fix test imports * Apply black * Fix nasty test path issue * Add reentrancy signature to db for tests * Call base setUp in evm contract tests * Remove redundant return	6 years ago
Nikhil Parasaram	b6b62f8f2b	Ignore missing imports for mypy	6 years ago
Nikhil Parasaram	dd661e9d92	add mypy to deps	6 years ago
Nikhil Parasaram	7035959b23	Add the mypy to tox	6 years ago
rocky	2f13ef85f3	Python 3.5 tolerance and note what Python versions Mythril accepts	6 years ago
LieutenantRoger	e329095e94	Fix a config issue	7 years ago
LieutenantRoger	f3853e2a49	Another small fix for the ci	7 years ago
Josh Asplund	756bd1ebe7	Simplifies Circle config and coverage	7 years ago
Josh Asplund	1790f64336	Adds coverage to test suite	7 years ago
Josh Asplund	f5a46ef7bc	Fixes issues with python 3.5 dict ordering	7 years ago
Josh Asplund	11a2bb7430	Fixes failing test and python version	7 years ago
Josh Asplund	d632798abb	Adds tox testing	7 years ago