From b0a93a85c2037b8056558fa83868d4e2db1a4de6 Mon Sep 17 00:00:00 2001 From: chriseth Date: Wed, 9 Dec 2020 15:33:16 +0100 Subject: [PATCH] Sort changelog. --- Changelog.md | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/Changelog.md b/Changelog.md index a8dff3f86..7d2095bb4 100644 --- a/Changelog.md +++ b/Changelog.md @@ -8,19 +8,19 @@ Language Features: Compiler Features: * Code Generator: Avoid memory allocation for default value if it is not used. + * SMTChecker: Report struct values in counterexamples from CHC engine. + * SMTChecker: Support early returns in the CHC engine. + * SMTChecker: Support getters. * SMTChecker: Support named arguments in function calls. * SMTChecker: Support struct constructor. - * SMTChecker: Support getters. - * SMTChecker: Support early returns in the CHC engine. - * SMTChecker: Report struct values in counterexamples from CHC engine. * Standard-Json: Properly filter the requested output artifacts. Bugfixes: * Code generator: Do not pad empty string literals with a single 32-byte zero field in the ABI coder v1. + * SMTChecker: Fix cast string literals to byte arrays. * SMTChecker: Fix internal compiler error when doing bitwise compound assignment with string literals. * SMTChecker: Fix internal error when trying to generate counterexamples with old z3. * SMTChecker: Fix segmentation fault that could occur on certain SMT-enabled sources when no SMT solver was available. - * SMTChecker: Fix cast string literals to byte arrays. * Type Checker: ``super`` is not available in libraries. * Yul Optimizer: Fix a bug in NameSimplifier where a new name created by NameSimplifier could also be created by NameDispenser. * Yul Optimizer: Removed NameSimplifier from optimization steps available to users.