diff options
Diffstat (limited to 'Changelog.md')
| -rw-r--r-- | Changelog.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Changelog.md b/Changelog.md index b2b03ae4..fae28bb7 100644 --- a/Changelog.md +++ b/Changelog.md @@ -6,6 +6,8 @@ Language Features: Compiler Features: * Build System: LLL is not built anymore by default. Must configure it with CMake as `-DLLL=ON`. * Code generator: Do not perform redundant double cleanup on unsigned integers when loading from calldata. + * SMTChecker: Support ``msg``, ``tx`` and ``block`` member variables. + * SMTChecker: Support ``gasleft()`` and ``blockhash()`` functions. Bugfixes: |