From d8aff53771a228ac0cba978c0d4904d371942b7f Mon Sep 17 00:00:00 2001 From: chriseth Date: Wed, 16 Dec 2020 12:05:28 +0100 Subject: [PATCH] Sort changelog. --- Changelog.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/Changelog.md b/Changelog.md index e67343460..27c5451bb 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,22 +1,22 @@ ### 0.7.6 (unreleased) Language Features: + * Code generator: Support conversion from calldata slices to memory and storage arrays. * Code generator: Support copying dynamically encoded structs from calldata to memory. * Code generator: Support copying of nested arrays from calldata to memory. - * Code generator: Support conversion from calldata slices to memory and storage arrays. + * Scanner: Generate a parser error when comments or unicode strings contain an unbalanced or underflowing set of unicode direction override markers (LRO, RLO, LRE, RLE, PDF). * The fallback function can now also have a single ``calldata`` argument (equaling ``msg.data``) and return ``bytes memory`` (which will not be ABI-encoded but returned as-is). * Wasm backend: Add ``i32.select`` and ``i64.select`` instructions. - * Scanner: Generate a parser error when comments or unicode strings contain an unbalanced or underflowing set of unicode direction override markers (LRO, RLO, LRE, RLE, PDF). Compiler Features: * Build System: Optionally support dynamic loading of Z3 and use that mechanism for Linux release builds. * Code Generator: Avoid memory allocation for default value if it is not used. + * SMTChecker: Create underflow and overflow verification targets for increment/decrement in the CHC engine. * 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: Create underflow and overflow verification targets for increment/decrement in the CHC engine. * Standard-Json: Move the recently introduced ``modelCheckerSettings`` key to ``settings.modelChecker``. * Standard-Json: Properly filter the requested output artifacts.