cerc-io/solidity
10
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Sort changelog.

Browse Source
This commit is contained in:
chriseth 2021-01-26 09:25:54 +01:00
parent de0a3b989d
commit fbd10585c5
1 changed files with 12 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

28
Changelog.md
View File

@ -5,35 +5,31 @@ Language Features:
Compiler Features: Compiler Features:
* Build system: Update the soljson.js build to emscripten 2.0.12 and boost 1.75.0. * Build system: Update the soljson.js build to emscripten 2.0.12 and boost 1.75.0.
* Command Line Interface: New option ``--model-checker-targets`` allows specifying which targets should be checked. The valid options are ``all``, ``constantCondition``, * Command Line Interface: Allow "=" as separator between library name and address in ``--libraries`` commandline option.
``underflow``, ``overflow``, ``divByZero``, ``balance``, ``assert``, ``popEmptyArray``, where the default is ``all``. Multiple targets can be chosen at the same time, * 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``.
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.
* Optimizer: Add rule to replace ``iszero(sub(x,y))`` by ``eq(x,y)``. * Optimizer: Add rule to replace ``iszero(sub(x,y))`` by ``eq(x,y)``.
* Parser: Report meaningful error if parsing a version pragma failed. * Parser: Report meaningful error if parsing a version pragma failed.
* SMTChecker: Support ABI functions as uninterpreted functions.
* SMTChecker: Use checked arithmetic by default and support ``unchecked`` blocks.
* SMTChecker: Show contract name in counterexample function call.
* SMTChecker: Support try/catch statements.
* SMTChecker: Output internal and trusted external function calls in a counterexample's transaction trace. * SMTChecker: Output internal and trusted external function calls in a counterexample's transaction trace.
* SMTChecker: Synthesize untrusted functions called externally.
* SMTChecker: Show ``msg.value`` in counterexample transaction traces when greater than 0. * SMTChecker: Show ``msg.value`` in counterexample transaction traces when greater than 0.
* Standard JSON: New option ``modelCheckerSettings.targets`` allows specifying which targets should be checked. The valid options are ``all``, ``constantCondition``, * SMTChecker: Show contract name in counterexample function call.
``underflow``, ``overflow``, ``divByZero``, ``balance``, ``assert``, ``popEmptyArray``, where the default is ``all``. Multiple targets can be chosen at the same time, * SMTChecker: Support ABI functions as uninterpreted functions.
separated by a comma without spaces: ``underflow,overflow,assert``. * SMTChecker: Support try/catch statements.
* Command Line Interface: Allow "=" as separator between library name and address in ``--libraries`` commandline option. * SMTChecker: Synthesize untrusted functions called externally.
* Command Line Interface: Only accept the library address that is prefixed with "0x" in ``--libraries`` commandline option. * SMTChecker: Use checked arithmetic by default and support ``unchecked`` blocks.
* Standard JSON: New option ``modelCheckerSettings.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``.
Bugfixes: Bugfixes:
* Code Generator: Fix length check when decoding malformed error data in catch clause. * Code Generator: Fix length check when decoding malformed error data in catch clause.
* Control Flow Graph: Fix missing error caused by read from/write to uninitialized variables.
* SMTChecker: Fix false negatives in overriding modifiers and functions. * SMTChecker: Fix false negatives in overriding modifiers and functions.
* SMTChecker: Fix false negatives when analyzing external function calls. * SMTChecker: Fix false negatives when analyzing external function calls.
* SMTChecker: Fix missing type constraints for block variables.
* SMTChecker: Fix internal error on ``block.chainid``. * SMTChecker: Fix internal error on ``block.chainid``.
* SMTChecker: Fix internal error on pushing string literal to ``bytes`` array. * SMTChecker: Fix internal error on pushing string literal to ``bytes`` array.
* SMTChecker: Fix missing type constraints for block variables.
* Type Checker: Fix infinite loop when accessing circular constants from inline assembly.
* Type Checker: Fix internal error caused by constant structs containing mappings. * 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. * Type System: Disallow implicit conversion from ``uintN`` to ``intM`` when ``M > N``, and by extension, explicit conversion between the same types is also disallowed.
* Type Checker: Fix infinite loop when accessing circular constants from inline assembly.
* Control Flow Graph: Fix missing error caused by read from/write to uninitialized variables.
### 0.8.0 (2020-12-16) ### 0.8.0 (2020-12-16)