Mention mod-and-replacement in changelog.

This commit is contained in:
chriseth 2018-02-13 08:51:11 +01:00
parent 729c6a95f8
commit 927adb8f2a

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).