From 8a1a8117e9ebbacc22a20b14775e6ccf6fe4f45b Mon Sep 17 00:00:00 2001 From: chriseth Date: Mon, 19 Oct 2020 11:36:40 +0200 Subject: [PATCH 1/2] Set release data and sort changelog. --- Changelog.md | 16 ++++++++-------- docs/bugs_by_version.json | 4 ++++ 2 files changed, 12 insertions(+), 8 deletions(-) diff --git a/Changelog.md b/Changelog.md index e58e70cdd..ec9589b18 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,4 +1,4 @@ -### 0.7.4 (unreleased) +### 0.7.4 (2020-10-19) Important Bugfixes: * Code Generator: Fix data corruption bug when copying empty byte arrays from memory or calldata to storage. @@ -9,24 +9,24 @@ Language Features: Compiler Features: + * Command Line Interface: New option ``model-checker-engine`` allows to choose a specific SMTChecker engine. Options are ``all`` (default), ``bmc``, ``chc`` and ``none``. + * Control Flow Graph: Print warning for non-empty functions with unnamed return parameters that are not assigned a value in all code paths. + * SMTChecker: Support ``keccak256``, ``sha256``, ``ripemd160`` and ``ecrecover`` in the CHC engine. * SMTChecker: Support inline arrays. * SMTChecker: Support variables ``block``, ``msg`` and ``tx`` in the CHC engine. - * SMTChecker: Support ``keccak256``, ``sha256``, ``ripemd160`` and ``ecrecover`` in the CHC engine. - * Control Flow Graph: Print warning for non-empty functions with unnamed return parameters that are not assigned a value in all code paths. - * Command Line Interface: New option ``model-checker-engine`` allows to choose a specific SMTChecker engine. Options are ``all`` (default), ``bmc``, ``chc`` and ``none``. * Standard JSON: New option ``modelCheckerSettings.engine`` allows to choose a specific SMTChecker engine. Options are ``all`` (default), ``bmc``, ``chc`` and ``none``. Bugfixes: - * Code generator: Fix internal error on returning structs containing mappings from library function. - * Code generator: Fix internal compiler error when referencing members via module name but not using the reference. * Code generator: Fix ``ABIEncoderV2`` pragma from the current module affecting inherited functions and applied modifiers. + * Code generator: Fix internal compiler error when referencing members via module name but not using the reference. + * Code generator: Fix internal error on returning structs containing mappings from library function. * Code generator: Use revert instead of invalid opcode for out-of-bounds array index access in getter. + * Contract Level Checker: Add missing check against inheriting functions with ABIEncoderV2 return types in ABIEncoderV1 contracts. + * Name Resolver: Fix shadowing/same-name warnings for later declarations. * Type Checker: Allow arrays of contract types as type expressions and as arguments for ``abi.decode``. * Type Checker: Disallow invalid use of library names as type name. * Type Checker: Fix internal compiler error caused by storage parameters with nested mappings in libraries. - * Name Resolver: Fix shadowing/same-name warnings for later declarations. - * Contract Level Checker: Add missing check against inheriting functions with ABIEncoderV2 return types in ABIEncoderV1 contracts. ### 0.7.3 (2020-10-07) diff --git a/docs/bugs_by_version.json b/docs/bugs_by_version.json index 3f7c334ed..f41ff355f 100644 --- a/docs/bugs_by_version.json +++ b/docs/bugs_by_version.json @@ -1365,5 +1365,9 @@ "EmptyByteArrayCopy" ], "released": "2020-10-07" + }, + "0.7.4": { + "bugs": [], + "released": "2020-10-19" } } \ No newline at end of file From 7af9dedc31d429e48ca0e2963d0920968e5a76c0 Mon Sep 17 00:00:00 2001 From: chriseth Date: Mon, 19 Oct 2020 15:04:47 +0200 Subject: [PATCH 2/2] Add double-hyphen. --- Changelog.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Changelog.md b/Changelog.md index ec9589b18..6071e91fd 100644 --- a/Changelog.md +++ b/Changelog.md @@ -9,7 +9,7 @@ Language Features: Compiler Features: - * Command Line Interface: New option ``model-checker-engine`` allows to choose a specific SMTChecker engine. Options are ``all`` (default), ``bmc``, ``chc`` and ``none``. + * Command Line Interface: New option ``--model-checker-engine`` allows to choose a specific SMTChecker engine. Options are ``all`` (default), ``bmc``, ``chc`` and ``none``. * Control Flow Graph: Print warning for non-empty functions with unnamed return parameters that are not assigned a value in all code paths. * SMTChecker: Support ``keccak256``, ``sha256``, ``ripemd160`` and ``ecrecover`` in the CHC engine. * SMTChecker: Support inline arrays.