Merge pull request #8828 from ethereum/changelog-entry-for-yul-optimizations-option

Changelog: Add an entry for --yul-optimizations option
This commit is contained in:
chriseth 2020-05-04 15:42:33 +02:00 committed by GitHub
commit 5a4a774007
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -8,6 +8,7 @@ Language Features:
Compiler Features:
* Optimizer: Simplify repeated AND and OR operations.
* Standard Json Input: Support the prefix ``file://`` in the field ``urls``.
* Add option to specify optimization steps to be performed by Yul optimizer with `--yul-optimizations` in the commandline interface or `optimizer.details.yulDetails.optimizerSteps` in standard-json.
Bugfixes:
* SMTChecker: Fix internal error when fixed points are used.