diff options
Diffstat (limited to 'Changelog.md')
| -rw-r--r-- | Changelog.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Changelog.md b/Changelog.md index 230c1174..8812bace 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,8 +1,9 @@ ### 0.4.23 (unreleased) Features: - * SMTChecker: Integration with CVC4 SMT solver * Build system: Support Ubuntu Bionic. + * SMTChecker: Integration with CVC4 SMT solver + * Syntax Checker: Warn about functions named "constructor". Bugfixes: * Type Checker: Do not complain about new-style constructor and fallback function to have the same name. |