diff --git a/Changelog.md b/Changelog.md index db4252912..3bdd366db 100644 --- a/Changelog.md +++ b/Changelog.md @@ -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).