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