From 7431bcbbd521d2bee2e8c6f5b2cff07a46c475c8 Mon Sep 17 00:00:00 2001 From: Matheus Aguiar Date: Wed, 3 Jul 2024 14:55:22 -0300 Subject: [PATCH] Add Changelog entries --- Changelog.md | 3 +++ 1 file changed, 3 insertions(+) diff --git a/Changelog.md b/Changelog.md index 9c9a9e8fd91b..39c9f3b3e5bc 100644 --- a/Changelog.md +++ b/Changelog.md @@ -8,8 +8,11 @@ Language Features: Compiler Features: * Command Line Interface: Do not perform IR optimization when only unoptimized IR is requested. + * Constant Optimizer: Uses ``PUSH0`` if supported by the selected evm version. * Error Reporting: Unimplemented features are now properly reported as errors instead of being handled as if they were bugs. * EVM: Support for the EVM version "Prague". + * Peephole Optimizer: ``PUSH0``, when supported, is duplicated explicitly instead of using ``DUP1``. + * Peephole optimizer: Remove identical code snippets that terminate the control flow if they occur one after another. * SMTChecker: Add CHC engine check for underflow and overflow in unary minus operation. * SMTChecker: Replace CVC4 as a possible BMC backend with cvc5. * Standard JSON Interface: Do not perform IR optimization when only unoptimized IR is requested.