aboutsummaryrefslogtreecommitdiffstats
path: root/Changelog.md
diff options
context:
space:
mode:
Diffstat (limited to 'Changelog.md')
-rw-r--r--Changelog.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/Changelog.md b/Changelog.md
index 6f6f672c..e0b8cbc6 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -25,6 +25,7 @@ Features:
* Build system: Support Ubuntu Bionic.
* SMTChecker: Integration with CVC4 SMT solver
* Syntax Checker: Warn about functions named "constructor".
+ * SMTChecker: Support to integer and Bool state variables
Bugfixes:
* Type Checker: Improve error message for failed function overload resolution.