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.