From 3aad6b239cdcea4edcdf5e02417b5632148c55bc Mon Sep 17 00:00:00 2001 From: chriseth Date: Wed, 21 Apr 2021 10:24:38 +0200 Subject: [PATCH] Prepare changelog for 0.8.4. --- Changelog.md | 12 ++++++------ docs/bugs_by_version.json | 4 ++++ 2 files changed, 10 insertions(+), 6 deletions(-) diff --git a/Changelog.md b/Changelog.md index 30358bb37..619138add 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,4 +1,4 @@ -### 0.8.4 (unreleased) +### 0.8.4 (2021-04-21) Important Bugfixes: * ABI Decoder V2: For two-dimensional arrays and specially crafted data in memory, the result of ``abi.decode`` can depend on data elsewhere in memory. Calldata decoding is not affected. @@ -15,6 +15,7 @@ Compiler Features: * Commandline Interface: Model checker option ``--model-checker-targets`` also accepts ``outOfBounds``. * Commandline Interface: New model checker option ``--model-checker-contracts`` allows users to select which contracts should be analyzed as the most derived. * Low-Level Inliner: Inline ordinary jumps to small blocks and jumps to small blocks that terminate. + * NatSpec: Allow ``@notice`` tag on non-public state variables and local variable declarations. The documentation will only be part of the AST, under the field ``documentation``. * SMTChecker: Deprecate ``pragma experimental SMTChecker;`` and set default model checker engine to ``none``. * SMTChecker: Report local variables in CHC counterexamples. * SMTChecker: Report out of bounds index access for arrays and fixed bytes. @@ -22,26 +23,25 @@ Compiler Features: * Standard JSON: Model checker option ``settings.modelChecker.targets`` also accepts ``outOfBounds``. * Standard JSON: Model checker option ``settings.modelChecker.targets`` takes an array of string targets instead of string of comma separated targets. * Standard JSON: New model checker option ``settings.modelChecker.contracts`` allows users to select which contracts should be analyzed as the most derived. - * Yul Optimizer: Added a new step FunctionSpecializer, that specializes a function with its literal arguments. * Yul EVM Code Transform: Stack Optimization: Reuse slots of unused function arguments and defer allocating stack slots for return variables until after expression statements and assignments that do not reference them. - * NatSpec: Allow ``@notice`` tag on non-public state variables and local variable declarations. The documentation will only be part of the AST, under the field ``documentation``. + * Yul Optimizer: Added a new step FunctionSpecializer, that specializes a function with its literal arguments. Bugfixes: - * Natspec: Fix internal error related to the `@returns` documentation for a public state variable overriding a function. * Antlr Grammar: Fix parsing of import paths involving properly distinguishing between empty and non-empty string literals in general. * AST Output: Fix ``kind`` field of ``ModifierInvocation`` for base constructor calls. + * Commandline interface: Fix internal error when printing AST and using ``--base-path`` or ``file://`` prefix in imports. * Commandline interface: Fix standard input bypassing allowed path checks. + * Natspec: Fix internal error related to the `@returns` documentation for a public state variable overriding a function. * SMTChecker: Fix false positive and false negative on ``push`` as LHS of a compound assignment. * SMTChecker: Fix false positive in contracts that cannot be deployed. * SMTChecker: Fix internal error on public getter returning dynamic data on older EVM versions where these are not available. * SMTChecker: Fix internal error on try-catch with function call in catch block. * Type Checker: Fix missing error when events are used without an emit statement. - * Commandline interface: Fix internal error when printing AST and using ``--base-path`` or ``file://`` prefix in imports. AST Changes: - * New property for ContractDefinition nodes: ``usedErrors`` lists AST IDs of all errors used by the contract (even if defined outside). + * New property for ``ContractDefinition`` nodes: ``usedErrors`` lists AST IDs of all errors used by the contract (even if defined outside). diff --git a/docs/bugs_by_version.json b/docs/bugs_by_version.json index 671aef23e..dd6706872 100644 --- a/docs/bugs_by_version.json +++ b/docs/bugs_by_version.json @@ -1539,5 +1539,9 @@ "ABIDecodeTwoDimensionalArrayMemory" ], "released": "2021-03-23" + }, + "0.8.4": { + "bugs": [], + "released": "2021-04-21" } } \ No newline at end of file