From bb9013e7c57105652456b2df337c301045108c7b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Fri, 20 Apr 2018 16:38:57 +0200
Subject: [PATCH] Add integer extensions to change log

This adds the recent integer extensions to the change log, namely,
integer variable detection, simplifications concerning integer
variables, and support for explicitly declaring functions integer.
---
 CHANGELOG.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 58bc4bc..e831397 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,13 @@
 
 ## (unreleased)
 
+### Features
+
+* optional detection of integer variables and integer predicate parameters
+* command-line option `--detect-integers` to enable integer variable detection
+* new simplification rule applying to integer variables
+* support for declaring functions integer with the `#external` directive
+
 ## 0.1.8 (2018-04-20)
 
 ### Features