Merge pull request #7629 from ethereum/fixChangelog

Fix changelog from develop.
This commit is contained in:
Daniel Kirchner 2019-11-05 16:25:02 +01:00 committed by GitHub
commit f0099d8cf1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -26,8 +26,14 @@ Language Features:
* Yul: Introduce ``leave`` statement that exits the current function. * Yul: Introduce ``leave`` statement that exits the current function.
### 0.5.13 (unreleased)
Language Features:
Compiler Features: Compiler Features:
* Code Generator: Use SELFBALANCE for ``address(this).balance`` if using Istanbul EVM * Code Generator: Use SELFBALANCE for ``address(this).balance`` if using Istanbul EVM
* SMTChecker: Add break/continue support to the CHC engine.
* SMTChecker: Support assignments to multi-dimensional arrays and mappings. * SMTChecker: Support assignments to multi-dimensional arrays and mappings.
@ -37,7 +43,6 @@ Bugfixes:
* Type Checker: Treat magic variables as unknown identifiers in inline assembly * Type Checker: Treat magic variables as unknown identifiers in inline assembly
### 0.5.13 (unreleased)
### 0.5.12 (2019-10-01) ### 0.5.12 (2019-10-01)