Merge pull request #3497 from ethereum/modandchangelog

Mention mod-and-replacement in changelog.
This commit is contained in:
Alex Beregszaszi 2018-02-13 10:18:59 +00:00 committed by GitHub
commit f8810ef9e8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,6 +7,7 @@ Features:
* Limit the number of warnings raised for creating abstract contracts.
* Inline Assembly: Issue warning for using jump labels (already existed for jump instructions).
* Inline Assembly: Support some restricted tokens (return, byte, address) as identifiers in Julia mode.
* Optimiser: Replace `x % 2**i` by `x & (2**i-1)`.
* SMT Checker: If-else branch conditions are taken into account in the SMT encoding of the program
variables.
* Syntax Checker: Deprecate the ``var`` keyword (and mark it an error as experimental 0.5.0 feature).