From 682f53fc82bfa2fdcfbdba12c7940a673a0461f2 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Kamil=20=C5=9Aliwak?= Date: Mon, 4 May 2020 12:47:29 +0200 Subject: [PATCH] Changelog: Add an entry for --yul-optimizations option --- Changelog.md | 1 + 1 file changed, 1 insertion(+) 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.