Changelog entry

This commit is contained in:
Leonardo Alt 2019-02-20 16:43:27 +01:00
parent 467c34999f
commit 297703bc44

View File

@ -4,6 +4,7 @@ Language Features:
Compiler Features:
* SMTChecker: Support one-dimensional arrays.
Bugfixes: