From ddcd515a3d9b5e82d32df19875830712f2baa0da Mon Sep 17 00:00:00 2001 From: chriseth Date: Mon, 27 Sep 2021 13:00:19 +0200 Subject: [PATCH] Sort changelog. --- Changelog.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Changelog.md b/Changelog.md index 7d07627f2..c36241f7e 100644 --- a/Changelog.md +++ b/Changelog.md @@ -10,10 +10,10 @@ Compiler Features: * Commandline Interface: Do not implicitly run evm bytecode generation unless needed for the requested output. * Commandline Interface: Normalize paths specified on the command line and make them relative for files located inside base path. * Immutable variables can be read at construction time once they are initialized. - * SMTChecker: Support low level ``call`` as external calls to unknown code. * SMTChecker: Add constraints to better correlate ``address(this).balance`` and ``msg.value``. - * SMTChecker: Support the ``value`` option for external function calls. * SMTChecker: Support constants via modules. + * SMTChecker: Support low level ``call`` as external calls to unknown code. + * SMTChecker: Support the ``value`` option for external function calls. * SMTChecker: Support user defined value types.