From 392ed02008223384b14e0350854705a5a4598dbf Mon Sep 17 00:00:00 2001 From: chriseth Date: Thu, 3 Sep 2020 12:06:52 +0200 Subject: [PATCH] Changelog entry. --- Changelog.md | 1 + 1 file changed, 1 insertion(+) 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``.