Manticore 0.1.7 Release (#764)

CHANGELOG.md

@@ -2,7 +2,29 @@
 
 The format is based on [Keep a Changelog](http://keepachangelog.com/).
 
-## [Unreleased](https://github.com/trailofbits/manticore/compare/0.1.6...HEAD)
+## [Unreleased](https://github.com/trailofbits/manticore/compare/0.1.7...HEAD)
+
+## 0.1.7 - 2018-02-23
+
+This release brings EVM, performance, Linux emulation, and API improvements, along with numerous bug fixes. Thanks again to our external contributors!
+
+- [jean](https://github.com/jean)
+- [disconnect3d](https://github.com/disconnect3d)
+- [arunjohnkuruvilla](https://github.com/arunjohnkuruvilla)
+- [alexanderholman](https://github.com/alexanderholman)
+- [Srinivas11789](https://github.com/Srinivas11789)
+
+### Added
+
+ - [Documentation](https://github.com/trailofbits/manticore/blob/master/docs/syminput.rst) on symbolic input
+ - "[force](http://manticore.readthedocs.io/en/latest/api.html#manticore.core.cpu.abstractcpu.Cpu.write_bytes)" keyword argument in `cpu.write_bytes/read_bytes` etc.
+ - Linux syscalls: getrandom(), openat()
+
+### Fixed
+
+- Improved ARMv7 Thumb support
+- Numerous EVM bug fixes and improvements (transaction generation, SHA3 handling, instruction tracing, int overflow detection)
+- Improved x86/64 emulation performance
 
 ## 0.1.6 - 2017-12-22
 

README.md

@@ -4,7 +4,6 @@
 [![PyPI version](https://badge.fury.io/py/manticore.svg)](https://badge.fury.io/py/manticore)
 [![Slack Status](https://empireslacking.herokuapp.com/badge.svg)](https://empireslacking.herokuapp.com)
 [![Documentation Status](https://readthedocs.org/projects/manticore/badge/?version=latest)](http://manticore.readthedocs.io/en/latest/?badge=latest)
-[![Bountysource](https://img.shields.io/bountysource/team/trailofbits/activity.svg)](https://www.bountysource.com/teams/trailofbits)
 
 Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
 

manticore/__main__.py

@@ -60,7 +60,7 @@ def parse_arguments():
     parser.add_argument('--workspace', type=str, default=None,
                         help=("A folder name for temporaries and results."
                               "(default mcore_?????)"))
-    parser.add_argument('--version', action='version', version='Manticore 0.1.6',
+    parser.add_argument('--version', action='version', version='Manticore 0.1.7',
                          help='Show program version information')
     parser.add_argument('--txlimit', type=positive,
                         help='Maximum number of symbolic transactions to run (positive integer) (Ethereum only)')

setup.py

@@ -3,7 +3,6 @@ from setuptools import setup, find_packages
 
 on_rtd = os.environ.get('READTHEDOCS') == 'True'
 
-
 def rtd_dependent_deps():
     # RTD tries to build z3, ooms, and fails to build.
     if on_rtd:
@@ -16,7 +15,7 @@ setup(
     description='Manticore is a symbolic execution tool for analysis of binaries and smart contracts.',
     url='https://github.com/trailofbits/manticore',
     author='Trail of Bits',
-    version='0.1.6',
+    version='0.1.7',
     packages=find_packages(),
     install_requires=[
         'capstone>=3.0.5rc2',