From 064e9a5de6e0d84ec8a239b12ef5262601ff6f64 Mon Sep 17 00:00:00 2001 From: Martin Blicha Date: Fri, 8 Jan 2021 09:16:55 +0100 Subject: [PATCH] Changelog entry --- Changelog.md | 1 + 1 file changed, 1 insertion(+) diff --git a/Changelog.md b/Changelog.md index 2c8314750..add5e8648 100644 --- a/Changelog.md +++ b/Changelog.md @@ -9,6 +9,7 @@ Compiler Features: * SMTChecker: Support ABI functions as uninterpreted functions. * SMTChecker: Use checked arithmetic by default and support ``unchecked`` blocks. * SMTChecker: Show contract name in counterexample function call. + * SMTChecker: Support try/catch statements. Bugfixes: * Code Generator: Fix length check when decoding malformed error data in catch clause.