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] 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