From 5c9e63555eba27288d6b32592c42a6cdba7eed53 Mon Sep 17 00:00:00 2001
From: Mark Mossberg <mark@trailofbits.com>
Date: Fri, 4 May 2018 14:07:20 -0400
Subject: [PATCH 1/3] Bump version

---
 manticore/__main__.py | 2 +-
 setup.py              | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/manticore/__main__.py b/manticore/__main__.py
index b85cfeb..06cc15a 100644
--- a/manticore/__main__.py
+++ b/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)')
diff --git a/setup.py b/setup.py
index 5fe5a3a..55955d8 100644
--- a/setup.py
+++ b/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',

From 66640c8ed881dd8cd3724ae654a3f90c2604670f Mon Sep 17 00:00:00 2001
From: Mark Mossberg <mark@trailofbits.com>
Date: Fri, 4 May 2018 14:17:47 -0400
Subject: [PATCH 2/3] Initial changelog

---
 CHANGELOG.md | 18 +++++++++++++++++-
 1 file changed, 17 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index e8e9be5..3879592 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,7 +2,23 @@
 
 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)
+
+### Added
+
+
+### Fixed
+
 
 ## 0.1.8 - 2018-03-30
 

From 23a1412e15dccafb74cc7db913773bf7a9b5552d Mon Sep 17 00:00:00 2001
From: Mark Mossberg <mark@trailofbits.com>
Date: Fri, 4 May 2018 14:27:41 -0400
Subject: [PATCH 3/3] Finish changelog

---
 CHANGELOG.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3879592..edda9bc 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -13,12 +13,18 @@ Thanks to our external contributors!
 - [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