From ae3350ae0320d140a427d2fa318e7002745a73a5 Mon Sep 17 00:00:00 2001
From: Leonardo Alt <leonardoaltt@gmail.com>
Date: Fri, 6 Apr 2018 18:01:40 +0200
Subject: [SMTChecker] Integration with CVC4

---
 Changelog.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'Changelog.md')

diff --git a/Changelog.md b/Changelog.md
index 2279cd2b..cfd23ad0 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -1,12 +1,11 @@
 ### 0.4.23 (unreleased)
 
 Features:
-
+ * SMTChecker: Integration with CVC4 SMT solver
 
 Bugfixes:
 
 
-
 ### 0.4.22 (2018-04-16)
 
 Features:
@@ -34,7 +33,6 @@ Features:
  * Syntax Tests: Add source locations to syntax test expectations.
  * Type Checker: Improve documentation and warnings for accessing contract members inherited from ``address``.
 
-
 Bugfixes:
  * Code Generator: Allow ``block.blockhash`` without being called.
  * Code Generator: Do not include internal functions in the runtime bytecode which are only referenced in the constructor.
-- 
cgit