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/79/head
Bernhard Mueller 7 years ago
parent c56d47207a
commit 777abfe440
1 changed files with 2 additions and 2 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. 4
      setup.py

4
setup.py
Unescape View File

@ -254,7 +254,7 @@ Credit
setup( setup(
name='mythril', name='mythril',
version='0.13.12', version='0.13.13',
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.6', 'laser-ethereum==0.5.7',
'requests', 'requests',
'BTrees', 'BTrees',
'py-solc' 'py-solc'

Write Preview
Loading…
Cancel
Save