From 2577670e38581f39154fd102a2ff3ba11475a19a Mon Sep 17 00:00:00 2001 From: hrkrshnn Date: Wed, 11 Aug 2021 10:52:13 +0200 Subject: [PATCH] Sort changelog for 0.8.7 release --- Changelog.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/Changelog.md b/Changelog.md index 5a272b061..ad3c97a68 100644 --- a/Changelog.md +++ b/Changelog.md @@ -7,20 +7,21 @@ Language Features: Compiler Features: * AssemblyStack: Also run opcode-based optimizer when compiling Yul code. - * EVM: Set the default EVM version to "London". - * Yul EVM Code Transform: Do not reuse stack slots that immediately become unreachable. - * Yul EVM Code Transform: Also pop unused argument slots for functions without return variables (under the same restrictions as for functions with return variables). - * Yul Optimizer: Move function arguments and return variables to memory with the experimental Stack Limit Evader (which is not enabled by default). * Commandline Interface: option ``--pretty-json`` works also with ``--standard--json``. + * EVM: Set the default EVM version to "London". + * SMTChecker: Do not check underflow and overflow by default. * SMTChecker: Unproved targets are hidden by default, and the SMTChecker only states how many unproved targets there are. They can be listed using the command line option ``--model-checker-show-unproved`` or the JSON option ``settings.modelChecker.showUnproved``. * SMTChecker: new setting to enable/disable encoding of division and modulo with slack variables. The command line option is ``--model-checker-div-mod-slacks`` and the JSON option is ``settings.modelChecker.divModWithSlacks``. - * SMTChecker: Do not check underflow and overflow by default. + * Yul EVM Code Transform: Also pop unused argument slots for functions without return variables (under the same restrictions as for functions with return variables). + * Yul EVM Code Transform: Do not reuse stack slots that immediately become unreachable. + * Yul Optimizer: Move function arguments and return variables to memory with the experimental Stack Limit Evader (which is not enabled by default). Bugfixes: * Code Generator: Fix crash when passing an empty string literal to ``bytes.concat()``. * Code Generator: Fix internal compiler error when calling functions bound to calldata structs and arrays. * Code Generator: Fix internal compiler error when passing a 32-byte hex literal or a zero literal to ``bytes.concat()`` by disallowing such literals. + * Commandline Interface: Apply ``--optimizer-runs`` option in assembly / yul mode. * Commandline Interface: Fix crash when a directory path is passed to ``--standard-json``. * Commandline Interface: Read JSON from standard input when ``--standard-json`` gets ``-`` as a file name. * Standard JSON: Include source location for errors in files with empty name. @@ -28,7 +29,6 @@ Bugfixes: * Yul Code Generator: Fix internal compiler error when using a long literal with bitwise negation. * Yul Code Generator: Fix source location references for calls to builtin functions. * Yul Parser: Fix source location references for ``if`` statements. - * Commandline Interface: Apply ``--optimizer-runs`` option in assembly / yul mode. ### 0.8.6 (2021-06-22)