@@ -6,32 +6,32 @@ Important Bugfixes:
6
6
7
7
Compiler Features:
8
8
* Export compiler-generated utility sources via standard-json or combined-json.
9
+ * Optimizer: Optimize `` exp `` when base is 0, 1 or 2.
9
10
* SMTChecker: Keep knowledge about string literals, even through assignment, and thus support the `` .length `` property properly.
10
- * SMTChecker: Support events and low-level logs .
11
+ * SMTChecker: Support `` address `` type conversion with literals, e.g. `` address(0) `` .
11
12
* SMTChecker: Support `` revert() `` .
12
- * SMTChecker: Support shifts .
13
+ * SMTChecker: Support `` type(T).min `` , `` type(T).max `` , and `` type(I).interfaceId `` .
13
14
* SMTChecker: Support compound and, or, and xor operators.
15
+ * SMTChecker: Support events and low-level logs.
16
+ * SMTChecker: Support fixed bytes index access.
14
17
* SMTChecker: Support memory allocation, e.g. `` new bytes(123) `` .
18
+ * SMTChecker: Support shifts.
15
19
* SMTChecker: Support structs.
16
- * SMTChecker: Support `` type(T).min `` , `` type(T).max `` , and `` type(I).interfaceId `` .
17
- * SMTChecker: Support `` address `` type conversion with literals, e.g. `` address(0) `` .
18
- * SMTChecker: Support fixed bytes index access.
19
- * Type Checker: Report position of first invalid UTF-8 sequence in `` unicode"" `` literals.
20
- * Type Checker: More detailed error messages why implicit conversions fail.
21
20
* Type Checker: Explain why oversized hex string literals can not be explicitly converted to a shorter `` bytesNN `` type.
22
- * Yul Optimizer: Prune unused parameters in functions.
21
+ * Type Checker: More detailed error messages why implicit conversions fail.
22
+ * Type Checker: Report position of first invalid UTF-8 sequence in `` unicode"" `` literals.
23
+ * Yul IR Generator: Report source locations related to unimplemented features.
23
24
* Yul Optimizer: Inline into functions further down in the call graph first.
25
+ * Yul Optimizer: Prune unused parameters in functions.
24
26
* Yul Optimizer: Try to simplify function names.
25
- * Yul IR Generator: Report source locations related to unimplemented features.
26
- * Optimizer: Optimize `` exp `` when base is 0, 1 or 2.
27
27
28
28
29
29
Bugfixes:
30
30
* Code generator: Fix internal error on stripping dynamic types from return parameters on EVM versions without `` RETURNDATACOPY `` .
31
31
* Type Checker: Add missing check against nested dynamic arrays in ABI encoding functions when ABIEncoderV2 is disabled.
32
- * Type Checker: Disallow `` virtual `` for modifiers in libraries.
33
32
* Type Checker: Correct the error message for invalid named parameter in a call to refer to the right argument.
34
33
* Type Checker: Correct the warning for homonymous, but not shadowing declarations.
34
+ * Type Checker: Disallow `` virtual `` for modifiers in libraries.
35
35
* Type system: Fix internal error on implicit conversion of contract instance to the type of its `` super `` .
36
36
* Type system: Fix internal error on implicit conversion of string literal to a calldata string.
37
37
* Type system: Fix named parameters in overloaded function and event calls being matched incorrectly if the order differs from the declaration.
0 commit comments