From 0835e41626c769273ac215a58b1e066d63a4ca0a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= Date: Mon, 8 Aug 2022 13:53:55 +0200 Subject: [PATCH 1/2] Sort changelog for 0.8.16 alphabetically --- Changelog.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Changelog.md b/Changelog.md index 4fceab86f..1ca5970c0 100644 --- a/Changelog.md +++ b/Changelog.md @@ -7,18 +7,18 @@ Language Features: Compiler Features: + * Code Generator: More efficient code for checked addition and subtraction. * TypeChecker: Support using library constants in initializers of other constants. * Yul IR Code Generation: Improved copy routines for arrays with packed storage layout. - * Yul Optimizer: Add rule to convert `mod(mul(X, Y), A)` into `mulmod(X, Y, A)`, if `A` is a power of two. * Yul Optimizer: Add rule to convert `mod(add(X, Y), A)` into `addmod(X, Y, A)`, if `A` is a power of two. - * Code Generator: More efficient code for checked addition and subtraction. + * Yul Optimizer: Add rule to convert `mod(mul(X, Y), A)` into `mulmod(X, Y, A)`, if `A` is a power of two. Bugfixes: * Commandline Interface: Disallow the following options outside of the compiler mode: ``--via-ir``,``--metadata-literal``, ``--metadata-hash``, ``--model-checker-show-unproved``, ``--model-checker-div-mod-no-slacks``, ``--model-checker-engine``, ``--model-checker-invariants``, ``--model-checker-solvers``, ``--model-checker-timeout``, ``--model-checker-contracts``, ``--model-checker-targets``. - * Type Checker: Fix null dereference in `abi.encodeCall` type checking of free function. - * Type Checker: Fix compiler crash when `abi.encodeCall` received a tuple expression instead of an inline tuple. * Type Checker: Fix compiler crash on tuple assignments involving certain patterns with unary tuples on the left-hand side. + * Type Checker: Fix compiler crash when `abi.encodeCall` received a tuple expression instead of an inline tuple. + * Type Checker: Fix null dereference in `abi.encodeCall` type checking of free function. ### 0.8.15 (2022-06-15) From fb51bd69a3689886d7ce48d79058660fa1d03051 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= Date: Mon, 8 Aug 2022 13:57:19 +0200 Subject: [PATCH 2/2] Changelog cleanup for 0.8.16 --- Changelog.md | 10 ++++------ 1 file changed, 4 insertions(+), 6 deletions(-) diff --git a/Changelog.md b/Changelog.md index 1ca5970c0..3f9f7abc5 100644 --- a/Changelog.md +++ b/Changelog.md @@ -3,22 +3,20 @@ Important Bugfixes: * Code Generation: Fix data corruption that affected ABI-encoding of calldata values represented by tuples: structs at any nesting level; argument lists of external functions, events and errors; return value lists of external functions. The 32 leading bytes of the first dynamically-encoded value in the tuple would get zeroed when the last component contained a statically-encoded array. -Language Features: - Compiler Features: * Code Generator: More efficient code for checked addition and subtraction. * TypeChecker: Support using library constants in initializers of other constants. * Yul IR Code Generation: Improved copy routines for arrays with packed storage layout. - * Yul Optimizer: Add rule to convert `mod(add(X, Y), A)` into `addmod(X, Y, A)`, if `A` is a power of two. - * Yul Optimizer: Add rule to convert `mod(mul(X, Y), A)` into `mulmod(X, Y, A)`, if `A` is a power of two. + * Yul Optimizer: Add rule to convert ``mod(add(X, Y), A)`` into ``addmod(X, Y, A)``, if ``A`` is a power of two. + * Yul Optimizer: Add rule to convert ``mod(mul(X, Y), A)`` into ``mulmod(X, Y, A)``, if ``A`` is a power of two. Bugfixes: * Commandline Interface: Disallow the following options outside of the compiler mode: ``--via-ir``,``--metadata-literal``, ``--metadata-hash``, ``--model-checker-show-unproved``, ``--model-checker-div-mod-no-slacks``, ``--model-checker-engine``, ``--model-checker-invariants``, ``--model-checker-solvers``, ``--model-checker-timeout``, ``--model-checker-contracts``, ``--model-checker-targets``. * Type Checker: Fix compiler crash on tuple assignments involving certain patterns with unary tuples on the left-hand side. - * Type Checker: Fix compiler crash when `abi.encodeCall` received a tuple expression instead of an inline tuple. - * Type Checker: Fix null dereference in `abi.encodeCall` type checking of free function. + * Type Checker: Fix compiler crash when ``abi.encodeCall`` received a tuple expression instead of an inline tuple. + * Type Checker: Fix null dereference in ``abi.encodeCall`` type checking of free function. ### 0.8.15 (2022-06-15)