diff --git a/Changelog.md b/Changelog.md index 13c506f7f..21d45156c 100644 --- a/Changelog.md +++ b/Changelog.md @@ -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.