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
+8-8
Original file line number
Diff line number
Diff line change
@@ -1,4 +1,4 @@
1
-
### 0.7.4 (unreleased)
1
+
### 0.7.4 (2020-10-19)
2
2
3
3
Important Bugfixes:
4
4
* Code Generator: Fix data corruption bug when copying empty byte arrays from memory or calldata to storage.
@@ -9,24 +9,24 @@ Language Features:
9
9
10
10
11
11
Compiler Features:
12
+
* Command Line Interface: New option ``--model-checker-engine`` allows to choose a specific SMTChecker engine. Options are ``all`` (default), ``bmc``, ``chc`` and ``none``.
13
+
* Control Flow Graph: Print warning for non-empty functions with unnamed return parameters that are not assigned a value in all code paths.
14
+
* SMTChecker: Support ``keccak256``, ``sha256``, ``ripemd160`` and ``ecrecover`` in the CHC engine.
12
15
* SMTChecker: Support inline arrays.
13
16
* SMTChecker: Support variables ``block``, ``msg`` and ``tx`` in the CHC engine.
14
-
* SMTChecker: Support ``keccak256``, ``sha256``, ``ripemd160`` and ``ecrecover`` in the CHC engine.
15
-
* Control Flow Graph: Print warning for non-empty functions with unnamed return parameters that are not assigned a value in all code paths.
16
-
* Command Line Interface: New option ``model-checker-engine`` allows to choose a specific SMTChecker engine. Options are ``all`` (default), ``bmc``, ``chc`` and ``none``.
17
17
* Standard JSON: New option ``modelCheckerSettings.engine`` allows to choose a specific SMTChecker engine. Options are ``all`` (default), ``bmc``, ``chc`` and ``none``.
18
18
19
19
20
20
Bugfixes:
21
-
* Code generator: Fix internal error on returning structs containing mappings from library function.
22
-
* Code generator: Fix internal compiler error when referencing members via module name but not using the reference.
23
21
* Code generator: Fix ``ABIEncoderV2`` pragma from the current module affecting inherited functions and applied modifiers.
22
+
* Code generator: Fix internal compiler error when referencing members via module name but not using the reference.
23
+
* Code generator: Fix internal error on returning structs containing mappings from library function.
24
24
* Code generator: Use revert instead of invalid opcode for out-of-bounds array index access in getter.
25
+
* Contract Level Checker: Add missing check against inheriting functions with ABIEncoderV2 return types in ABIEncoderV1 contracts.
26
+
* Name Resolver: Fix shadowing/same-name warnings for later declarations.
25
27
* Type Checker: Allow arrays of contract types as type expressions and as arguments for ``abi.decode``.
26
28
* Type Checker: Disallow invalid use of library names as type name.
27
29
* Type Checker: Fix internal compiler error caused by storage parameters with nested mappings in libraries.
28
-
* Name Resolver: Fix shadowing/same-name warnings for later declarations.
29
-
* Contract Level Checker: Add missing check against inheriting functions with ABIEncoderV2 return types in ABIEncoderV1 contracts.
0 commit comments