13 Commits (99bf4521362f7aa183b03ec4217cea6820298587)

Author	SHA1	Message	Date
Daniel Bast	1384ef55b5	Allow z3-solver<=4.13.0.0, streamline Dockerfile (#1867)	4 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