diff --git a/Changelog.md b/Changelog.md index 447f9f927..1c5edccaa 100644 --- a/Changelog.md +++ b/Changelog.md @@ -9,12 +9,12 @@ Compiler Features: Bugfixes: - * Code Generator: Avoid including references to the deployed label of referenced functions if they are called right away. * Assembler: Avoid duplicating subassembly bytecode where possible. + * Code Generator: Avoid including references to the deployed label of referenced functions if they are called right away. * ContractLevelChecker: Properly distinguish the case of missing base constructor arguments from having an unimplemented base function. + * SMTChecker: Fix internal error caused by unhandled ``z3`` expressions that come from the solver when bitwise operators are used. * SMTChecker: Fix internal error when using the custom NatSpec annotation to abstract free functions. * TypeChecker: Also allow external library functions in ``using for``. - * SMTChecker: Fix internal error caused by unhandled ``z3`` expressions that come from the solver when bitwise operators are used. AST Changes: