diff options
| author | serpilliere <serpilliere@users.noreply.github.com> | 2020-03-18 14:57:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-18 14:57:14 +0100 |
| commit | fc8c0c77c2e0d99ceaa37407ff6c5cbcf469962c (patch) | |
| tree | 07537dd7a601593cf1e64462af6877f743956c90 /optional_requirements.txt | |
| parent | 8f83721c1f2c491e7ac2b62f82cd0c3ae57e5b27 (diff) | |
| parent | 173ec1d4d8f1a3df3c1ad8f55a0ac278fa2fc170 (diff) | |
| download | miasm-fc8c0c77c2e0d99ceaa37407ff6c5cbcf469962c.tar.gz miasm-fc8c0c77c2e0d99ceaa37407ff6c5cbcf469962c.zip | |
Merge pull request #1160 from serpilliere/updt_z3
Updt z3 version; update z3 api
Diffstat (limited to 'optional_requirements.txt')
| -rw-r--r-- | optional_requirements.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/optional_requirements.txt b/optional_requirements.txt index 88d09170..71ebdbe8 100644 --- a/optional_requirements.txt +++ b/optional_requirements.txt @@ -1,3 +1,3 @@ pycparser -z3-solver==4.5.1.0 +z3-solver==4.8.7.0 llvmlite==0.26.0 |