Changelog entry.

This commit is contained in:
chriseth 2020-09-03 12:06:52 +02:00
parent 33cdefc40e
commit 392ed02008

View File

@ -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``.