Skip to content

Commit

Permalink
Merge pull request #10852 from ethereum/setReleaseDate
Browse files Browse the repository at this point in the history
Set release date for 0.8.1.
  • Loading branch information
chriseth authored Jan 27, 2021
2 parents 34fa756 + 490dc09 commit df193b1
Show file tree
Hide file tree
Showing 2 changed files with 11 additions and 4 deletions.
11 changes: 7 additions & 4 deletions Changelog.md
Original file line number Diff line number Diff line change
@@ -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 ``<address>.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.
Expand All @@ -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:
Expand Down
4 changes: 4 additions & 0 deletions docs/bugs_by_version.json
Original file line number Diff line number Diff line change
Expand Up @@ -1381,5 +1381,9 @@
"0.8.0": {
"bugs": [],
"released": "2020-12-16"
},
"0.8.1": {
"bugs": [],
"released": "2021-01-27"
}
}

0 comments on commit df193b1

Please sign in to comment.