Sort changelog.

This commit is contained in:
chriseth 2019-11-13 17:50:10 +01:00
parent c4441bac5b
commit f9b208c85d

View File

@ -5,20 +5,20 @@ Language Features:
Compiler Features: Compiler Features:
* Code Generator: Use SELFBALANCE for ``address(this).balance`` if using Istanbul EVM * Code Generator: Use SELFBALANCE opcode for ``address(this).balance`` if using Istanbul EVM.
* EWasm: Experimental EWasm binary output via ``--ewasm`` and as documented in standard-json.
* SMTChecker: Add break/continue support to the CHC engine. * SMTChecker: Add break/continue support to the CHC engine.
* SMTChecker: Support assignments to multi-dimensional arrays and mappings. * SMTChecker: Support assignments to multi-dimensional arrays and mappings.
* SMTChecker: Support inheritance and function overriding. * SMTChecker: Support inheritance and function overriding.
* TypeChecker: List possible candidates when overload resolution fails * TypeChecker: List possible candidates when overload resolution fails.
* EWasm: Experimental EWasm binary output.
Bugfixes: Bugfixes:
* Type Checker: Disallow constructor of the same class to be used as modifier * Code Generator: Fixed a faulty assert that would wrongly trigger for array sizes exceeding unsigned integer.
* Code Generator: Fixed a faulty assert that would wrongly trigger for array sizes exceeding unsigned integer
* Type Checker: Treat magic variables as unknown identifiers in inline assembly
* SMTChecker: Fix internal error when accessing indices of fixed bytes. * SMTChecker: Fix internal error when accessing indices of fixed bytes.
* SMTChecker: Fix internal error when using function pointers as arguments. * SMTChecker: Fix internal error when using function pointers as arguments.
* Type Checker: Disallow constructor of the same class to be used as modifier.
* Type Checker: Treat magic variables as unknown identifiers in inline assembly.