Add integer variable detection to change log

2018-04-20 16:38:57 +02:00
parent d1ee6eca19
commit a9b00dfb7c
1 changed files with 5 additions and 0 deletions
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -2,6 +2,11 @@

 ## (unreleased)

+### Features
+
+* optional detection of integer variables and integer predicate parameters
+* command-line option `--detect-integers` to enable integer variable detection
+
 ## 0.1.8 (2018-04-20)

 ### Features