Merge pull request #888 from trailofbits/dev-019

Manticore 0.1.9

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.8...HEAD)
+## [Unreleased](https://github.com/trailofbits/manticore/compare/0.1.9...HEAD)
+
+## 0.1.9 - 2018-05-04
+
+Thanks to our external contributors!
+
+- [khorben](https://github.com/khorben)
+- [arunjohnkuruvilla](https://github.com/arunjohnkuruvilla)
+- [cclauss](https://github.com/cclauss)
+- [dwhjames](https://github.com/dwhjames)
+- [catenacyber](https://github.com/catenacyber)
+- [disconnect3d](https://github.com/disconnect3d)
+
+### Added
+
+- Ethereum: `--txnocoverage` cli argument to suppress coverage based analysis halting criteria
+- Ethereum: Support added for more Solidity features (imports, uint/int types, function types)
+
+### Fixed
+
+- Numerous Ethereum ABI fixes
+- Linux and x86/64 emulation fixes
+- Solver performance issue
 
 ## 0.1.8 - 2018-03-30
 

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.8',
+    parser.add_argument('--version', action='version', version='Manticore 0.1.9',
                         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

@@ -15,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.8',
+    version='0.1.9',
     packages=find_packages(),
     install_requires=[
         'capstone>=3.0.5rc2',