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/80/head
Bernhard Mueller 7 years ago
parent 98f9bb66d3
commit 75ebb4c13a
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 @@ ethereum>=2.0.4
ZODB>=5.3.0 ZODB>=5.3.0
z3-solver>=4.5 z3-solver>=4.5
web3 web3
laser-ethereum==0.5.8 laser-ethereum==0.5.9
requests requests
BTrees BTrees
py-solc py-solc

4
setup.py
Unescape View File

@ -254,7 +254,7 @@ Credit
setup( setup(
name='mythril', name='mythril',
version='0.13.14', version='0.13.15',
description='Security analysis tool for Ethereum smart contracts', description='Security analysis tool for Ethereum smart contracts',
long_description=long_description, long_description=long_description,
@ -291,7 +291,7 @@ setup(
'web3', 'web3',
'ZODB>=5.3.0', 'ZODB>=5.3.0',
'z3-solver>=4.5', 'z3-solver>=4.5',
'laser-ethereum==0.5.8', 'laser-ethereum==0.5.9',
'requests', 'requests',
'BTrees', 'BTrees',
'py-solc' 'py-solc'

Write Preview
Loading…
Cancel
Save