Add instruction shadows solidity variables

This commit is contained in:
Alex Beregszaszi 2017-07-01 10:12:36 +01:00
parent 0c457835ba
commit c6e85b7839

View File

@ -12,6 +12,7 @@ Features:
* Inline Assembly: Introduce ``keccak256`` as an opcode. ``sha3`` is still a valid alias. * Inline Assembly: Introduce ``keccak256`` as an opcode. ``sha3`` is still a valid alias.
* Inline Assembly: Present proper error message when not supplying enough arguments to a functional * Inline Assembly: Present proper error message when not supplying enough arguments to a functional
instruction. instruction.
* Inline Assembly: Warn when instructions shadow Solidity variables.
* Inline Assembly: Warn when using ``jump``s. * Inline Assembly: Warn when using ``jump``s.
* Remove obsolete Why3 output. * Remove obsolete Why3 output.
* Type Checker: Enforce strict UTF-8 validation. * Type Checker: Enforce strict UTF-8 validation.