From 3dd205d6488881988d537b40e1376b500d1895b6 Mon Sep 17 00:00:00 2001 From: "Dr. Sergey Pogodin" Date: Wed, 31 Oct 2018 10:03:16 +0100 Subject: [PATCH 1/2] Version bumped to 0.19.0 --- mythril/version.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/mythril/version.py b/mythril/version.py index 209f9662..624f5a07 100644 --- a/mythril/version.py +++ b/mythril/version.py @@ -1,3 +1,3 @@ # This file is suitable for sourcing inside POSIX shell, e.g. bash as # well as for importing into Python -VERSION = "v0.18.13" # NOQA +VERSION = "v0.19.0" # NOQA From 9c92f1b24c36ec01da6085974d86f2a24847845a Mon Sep 17 00:00:00 2001 From: Bernhard Mueller Date: Wed, 31 Oct 2018 20:28:58 +0100 Subject: [PATCH 2/2] Fix z3 version --- requirements.txt | 2 +- setup.py | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/requirements.txt b/requirements.txt index d829a885..252538c5 100644 --- a/requirements.txt +++ b/requirements.txt @@ -24,5 +24,5 @@ pytest_mock requests rlp>=1.0.1 transaction>=2.2.1 -z3-solver>=4.5 +z3-solver==4.5.1.0.post2 pysha3 diff --git a/setup.py b/setup.py index 6aa0dfb7..4a33a0dc 100755 --- a/setup.py +++ b/setup.py @@ -75,7 +75,7 @@ setup( install_requires=[ "coloredlogs>=10.0", "ethereum>=2.3.2", - "z3-solver>=4.5", + "z3-solver==4.5.1.0.post2", "requests", "py-solc", "plyvel",