diff --git a/Changelog.md b/Changelog.md index 9ac2667e2..3bc9c58f3 100644 --- a/Changelog.md +++ b/Changelog.md @@ -4,6 +4,7 @@ Language Features: Compiler Features: + * Export compiler-generated utility sources via standard-json or combined-json. * SMTChecker: Support shifts. * SMTChecker: Support structs. * SMTChecker: Support ``type(T).min`` and ``type(T).max``.