From 4c00815c536443e63c716dbcb8895d470991ab7a Mon Sep 17 00:00:00 2001 From: Leo Alt Date: Wed, 11 May 2022 11:52:33 +0200 Subject: [PATCH] Changelog entry --- Changelog.md | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/Changelog.md b/Changelog.md index 27ae4e30a..2e4bbccc4 100644 --- a/Changelog.md +++ b/Changelog.md @@ -13,9 +13,10 @@ Compiler Features: Bugfixes: * Type Checker: Properly check restrictions of ``using ... global`` in conjunction with libraries. -* Assembly-Json: Fix assembly json export to store jump types of operations in `jumpType` field instead of `value`. -* TypeChecker: Convert parameters of function type to how they would be called for ``abi.encodeCall``. -* View Pure Checker: Mark ``returndatasize`` and ``returndatacopy`` as view to disallow them in inline assembly blocks in pure functions. + * Assembly-Json: Fix assembly json export to store jump types of operations in `jumpType` field instead of `value`. + * SMTChecker: Fix bug when z3 is selected but not available at runtime. + * TypeChecker: Convert parameters of function type to how they would be called for ``abi.encodeCall``. + * View Pure Checker: Mark ``returndatasize`` and ``returndatacopy`` as view to disallow them in inline assembly blocks in pure functions.