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 1e16df59..30a851c8 100644 --- a/Changelog.md +++ b/Changelog.md @@ -87,6 +87,7 @@ Compiler Features: * Tests: Determine transaction status during IPC calls. * Code Generator: Allocate and free local variables according to their scope. * Removed ``pragma experimental "v0.5.0";``. + * View Pure Checker: Warn about ``msg.value`` used by modifier in non-payable function. Bugfixes: * Build System: Support versions of CVC4 linked against CLN instead of GMP. In case of compilation issues due to the experimental SMT solver support, the solvers can be disabled when configuring the project with CMake using ``-DUSE_CVC4=OFF`` or ``-DUSE_Z3=OFF``. |