TheDude
/
mythril
mirror of https://github.com/ConsenSys/mythril
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Bump LASER version

Browse Source
pull/205/head v0.17.12
Bernhard Mueller 7 years ago
parent 141fec3d11
commit fb28d30f88
2 changed files with 3 additions and 3 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 2
      requirements.txt
  2. 4
      setup.py

2
requirements.txt
Unescape View File

@ -2,7 +2,7 @@ rlp<1.0.0
ethereum>=2.3.0 ethereum>=2.3.0
ZODB>=5.3.0 ZODB>=5.3.0
z3-solver>=4.5 z3-solver>=4.5
laser-ethereum>=0.17.11 laser-ethereum>=0.17.12
requests requests
BTrees BTrees
plyvel plyvel

4
setup.py
Unescape View File

@ -5,7 +5,7 @@ import os
# Package version (vX.Y.Z). It must match git tag being used for CircleCI # Package version (vX.Y.Z). It must match git tag being used for CircleCI
# deployment; otherwise the build will failed. # deployment; otherwise the build will failed.
VERSION = "v0.17.11" VERSION = "v0.17.12"
class VerifyVersionCommand(install): class VerifyVersionCommand(install):
"""Custom command to verify that the git tag matches our version""" """Custom command to verify that the git tag matches our version"""
@ -307,7 +307,7 @@ setup(
'ethereum>=2.3.0', 'ethereum>=2.3.0',
'ZODB>=5.3.0', 'ZODB>=5.3.0',
'z3-solver>=4.5', 'z3-solver>=4.5',
'laser-ethereum>=0.17.11', 'laser-ethereum>=0.17.12',
'requests', 'requests',
'BTrees', 'BTrees',
'py-solc', 'py-solc',

Write Preview
Loading…
Cancel
Save