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