You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: Changelog.md
+6-6
Original file line number
Diff line number
Diff line change
@@ -1,4 +1,4 @@
1
-
### 0.8.4 (unreleased)
1
+
### 0.8.4 (2021-04-21)
2
2
3
3
Important Bugfixes:
4
4
* 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,33 +15,33 @@ Compiler Features:
15
15
* Commandline Interface: Model checker option ``--model-checker-targets`` also accepts ``outOfBounds``.
16
16
* Commandline Interface: New model checker option ``--model-checker-contracts`` allows users to select which contracts should be analyzed as the most derived.
17
17
* Low-Level Inliner: Inline ordinary jumps to small blocks and jumps to small blocks that terminate.
18
+
* 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``.
18
19
* SMTChecker: Deprecate ``pragma experimental SMTChecker;`` and set default model checker engine to ``none``.
19
20
* SMTChecker: Report local variables in CHC counterexamples.
20
21
* SMTChecker: Report out of bounds index access for arrays and fixed bytes.
21
22
* SMTChecker: Support file level functions and constants.
22
23
* Standard JSON: Model checker option ``settings.modelChecker.targets`` also accepts ``outOfBounds``.
23
24
* Standard JSON: Model checker option ``settings.modelChecker.targets`` takes an array of string targets instead of string of comma separated targets.
24
25
* Standard JSON: New model checker option ``settings.modelChecker.contracts`` allows users to select which contracts should be analyzed as the most derived.
25
-
* Yul Optimizer: Added a new step FunctionSpecializer, that specializes a function with its literal arguments.
26
26
* 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.
27
-
*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``.
27
+
*Yul Optimizer: Added a new step FunctionSpecializer, that specializes a function with its literal arguments.
28
28
29
29
30
30
Bugfixes:
31
-
* Natspec: Fix internal error related to the `@returns` documentation for a public state variable overriding a function.
32
31
* Antlr Grammar: Fix parsing of import paths involving properly distinguishing between empty and non-empty string literals in general.
33
32
* AST Output: Fix ``kind`` field of ``ModifierInvocation`` for base constructor calls.
33
+
* Commandline interface: Fix internal error when printing AST and using ``--base-path`` or ``file://`` prefix in imports.
34
34
* Commandline interface: Fix standard input bypassing allowed path checks.
35
+
* Natspec: Fix internal error related to the `@returns` documentation for a public state variable overriding a function.
35
36
* SMTChecker: Fix false positive and false negative on ``push`` as LHS of a compound assignment.
36
37
* SMTChecker: Fix false positive in contracts that cannot be deployed.
37
38
* SMTChecker: Fix internal error on public getter returning dynamic data on older EVM versions where these are not available.
38
39
* SMTChecker: Fix internal error on try-catch with function call in catch block.
39
40
* Type Checker: Fix missing error when events are used without an emit statement.
40
-
* Commandline interface: Fix internal error when printing AST and using ``--base-path`` or ``file://`` prefix in imports.
41
41
42
42
43
43
AST Changes:
44
-
* New property for ContractDefinition nodes: ``usedErrors`` lists AST IDs of all errors used by the contract (even if defined outside).
44
+
* New property for ``ContractDefinition`` nodes: ``usedErrors`` lists AST IDs of all errors used by the contract (even if defined outside).
0 commit comments