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/188/head v0.17.3
Bernhard Mueller 7 years ago
parent 37ed299f22
commit a55fdebe6a
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.1 laser-ethereum>=0.17.3
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.2" VERSION = "v0.17.3"
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.1', 'laser-ethereum>=0.17.3',
'requests', 'requests',
'BTrees', 'BTrees',
'py-solc', 'py-solc',

Write Preview
Loading…
Cancel
Save