diff options
Diffstat (limited to 'Changelog.md')
-rw-r--r-- | Changelog.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Changelog.md b/Changelog.md index bfaeeb27..102f2753 100644 --- a/Changelog.md +++ b/Changelog.md @@ -3,6 +3,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. * SMT Checker: If-else branch conditions are taken into account in the SMT encoding of the program variables. |