diff --git a/Changelog.md b/Changelog.md index 49ef544d8e91..336f2196b4f5 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,14 +1,13 @@ -### 0.8.1 (unreleased) +### 0.8.1 (2021-01-27) Language Features: * Possibility to use ``catch Panic(uint code)`` to catch a panic failure from an external call. Compiler Features: - * Build system: Update the soljson.js build to emscripten 2.0.12 and boost 1.75.0. * Code Generator: Reduce the cost of ``
.code.length`` by using ``extcodesize`` directly. - * Command Line Interface: Allow "=" as separator between library name and address in ``--libraries`` commandline option. + * Command Line Interface: Allow ``=`` as separator between library name and address in ``--libraries`` commandline option. * Command Line Interface: New option ``--model-checker-targets`` allows specifying which targets should be checked. The valid options are ``all``, ``constantCondition``, ``underflow``, ``overflow``, ``divByZero``, ``balance``, ``assert``, ``popEmptyArray``, where the default is ``all``. Multiple targets can be chosen at the same time, separated by a comma without spaces: ``underflow,overflow,assert``. - * Command Line Interface: Only accept the library address that is prefixed with "0x" in ``--libraries`` commandline option. + * Command Line Interface: Only accept library addresses with a prefix of ``0x`` in ``--libraries`` commandline option. * Optimizer: Add rule to replace ``iszero(sub(x,y))`` by ``eq(x,y)``. * Parser: Report meaningful error if parsing a version pragma failed. * SMTChecker: Output internal and trusted external function calls in a counterexample's transaction trace. @@ -33,6 +32,10 @@ Bugfixes: * Type Checker: Fix internal error caused by constant structs containing mappings. * Type System: Disallow implicit conversion from ``uintN`` to ``intM`` when ``M > N``, and by extension, explicit conversion between the same types is also disallowed. +Build System: + * Update the soljson.js build to emscripten 2.0.12 and boost 1.75.0. + + ### 0.8.0 (2020-12-16) Breaking Changes: diff --git a/docs/bugs_by_version.json b/docs/bugs_by_version.json index d9fedc66ed8d..fae6e85573a2 100644 --- a/docs/bugs_by_version.json +++ b/docs/bugs_by_version.json @@ -1381,5 +1381,9 @@ "0.8.0": { "bugs": [], "released": "2020-12-16" + }, + "0.8.1": { + "bugs": [], + "released": "2021-01-27" } } \ No newline at end of file