Changelog

Leo Alt · Leo Alt · commit 55d197f092d6 · 2021-08-19T16:34:16.000+02:00
diff --git a/Changelog.md b/Changelog.md
@@ -5,6 +5,7 @@ Language Features:
 
 Compiler Features:
  * Immutable variables can be read at construction time once they are initialized.
+ * SMTChecker: Support low level ``call`` as external calls to unknown code.
 
 
 Bugfixes:
