Release oyente 0.2.7

README.md

@@ -28,23 +28,26 @@ Note - If need the [version of Oyente](https://github.com/melonproject/oyente/tr
 
 ## Installation
 
-To install Oyente, simply:
+Install Oyente via pip:
 
 ```
-$ pip install oyente
+$ pip2 install oyente
 ```
+Dependencies:
+[solc](https://github.com/melonproject/oyente#solc)
+[evm](https://github.com/melonproject/oyente#evm-from-go-ethereum)
 
-## Full install
+## Full installation
 
 ### Install the following dependencies
-#### solc version 0.4.13
+#### solc
 ```
 $ sudo add-apt-repository ppa:ethereum/ethereum
 $ sudo apt-get update
 $ sudo apt-get install solc
 ```
 
-#### evm from [go-ethereum](https://github.com/ethereum/go-ethereum) version 1.6.1.
+#### evm from [go-ethereum](https://github.com/ethereum/go-ethereum)
 
 1. https://geth.ethereum.org/downloads/ or
 2. By from PPA if your using Ubuntu

oyente/oyente.py

@@ -126,7 +126,7 @@ def main():
     group.add_argument("-ru", "--remoteURL", type=str,
                        help="Get contract from remote URL. Solidity by default. Use -b to process evm instead.", dest="remote_URL")
 
-    parser.add_argument("--version", action="version", version="oyente version 0.2.5-Buona Vista")
+    parser.add_argument("--version", action="version", version="oyente version 0.2.7 - Commonwealth")
     parser.add_argument(
         "-b", "--bytecode", help="read bytecode in source instead of solidity file.", action="store_true")
 

setup.py

@@ -2,7 +2,7 @@
 
 setup(
     name='oyente',
-    version='0.2.6',
+    version='0.2.7',
     author='Loi Luu',
     # author_email='',
     url='https://github.com/melonport/oyente',
@@ -35,5 +35,6 @@
     install_requires=[
         'requests',
         'web3',
+        'z3-solver'
     ]
 )