mirror of
https://github.com/ethereum/solidity
synced 2023-10-03 13:03:40 +00:00
Merge pull request #11279 from ethereum/changelog084
Prepare changelog for 0.8.4.
This commit is contained in:
commit
c7e474f243
12
Changelog.md
12
Changelog.md
@ -1,4 +1,4 @@
|
|||||||
### 0.8.4 (unreleased)
|
### 0.8.4 (2021-04-21)
|
||||||
|
|
||||||
Important Bugfixes:
|
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.
|
* 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: 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.
|
* 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.
|
* 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: Deprecate ``pragma experimental SMTChecker;`` and set default model checker engine to ``none``.
|
||||||
* SMTChecker: Report local variables in CHC counterexamples.
|
* SMTChecker: Report local variables in CHC counterexamples.
|
||||||
* SMTChecker: Report out of bounds index access for arrays and fixed bytes.
|
* 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`` 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: 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.
|
* 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.
|
* 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:
|
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.
|
* 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.
|
* 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.
|
* 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 and false negative on ``push`` as LHS of a compound assignment.
|
||||||
* SMTChecker: Fix false positive in contracts that cannot be deployed.
|
* 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 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.
|
* 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.
|
* 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:
|
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).
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
|
@ -1539,5 +1539,9 @@
|
|||||||
"ABIDecodeTwoDimensionalArrayMemory"
|
"ABIDecodeTwoDimensionalArrayMemory"
|
||||||
],
|
],
|
||||||
"released": "2021-03-23"
|
"released": "2021-03-23"
|
||||||
|
},
|
||||||
|
"0.8.4": {
|
||||||
|
"bugs": [],
|
||||||
|
"released": "2021-04-21"
|
||||||
}
|
}
|
||||||
}
|
}
|
Loading…
Reference in New Issue
Block a user