Changelog: Add an entry for --yul-optimizations option

This commit is contained in:
Kamil Śliwak 2020-05-04 12:47:29 +02:00
parent 53ea962864
commit 682f53fc82

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.