13 Commits (dependabot/pip/markupsafe-lt-3.1.0)

Author	SHA1	Message	Date
Daniel Bast	1384ef55b5	Allow z3-solver<=4.13.0.0, streamline Dockerfile (#1867)	3 months ago
Nikhil Parasaram	f8f59dfdd2	Update docs and Add tutorial (#1664) ... * Add exit code * Update docs with tutorial * Fix docs * Reformat	2 years ago
Nikhil Parasaram	5d61aae5b0	Remove solc version check in tests	5 years ago
rocky	2f13ef85f3	Python 3.5 tolerance and note what Python versions Mythril accepts	6 years ago
rocky	e2bfeef33f	Check and report status of various required packages	7 years ago
LieutenantRoger	f14b21e16d	Merge laser into mythril	7 years ago
Josh Asplund	09521c1190	Adds circleci test support	7 years ago
Joran Honig	0a14db0481	Add dependency check to test script	7 years ago
freewind	73096acfa2	make sure use same signatures.json in every test	7 years ago
freewind	2d4fe3956b	Use temp files to store tests output, make it easy to compare results if output changes	7 years ago
freewind	2458b5302d	Use `python3` explicitly to reduce conflict	7 years ago
Bernhard Mueller	16701d94b3	Add more unit tests	7 years ago