diff options
Diffstat (limited to 'Changelog.md')
-rw-r--r-- | Changelog.md | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/Changelog.md b/Changelog.md index 428a0be0..57c611a3 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,4 +1,4 @@ -### 0.5.2 (unreleased) +### 0.5.2 (2018-12-19) Language Features: * Control Flow Graph: Detect every access to uninitialized storage pointers. @@ -9,22 +9,24 @@ Compiler Features: * Code Generator: Only check callvalue once if all functions are non-payable. * Code Generator: Use codecopy for string constants more aggressively. * Code Generator: Use binary search for dispatch function if more efficient. The size/speed tradeoff can be tuned using ``--optimize-runs``. - * Compiler Interface: Disallow unknown keys in standard JSON input. * SMTChecker: Support mathematical and cryptographic functions in an uninterpreted way. - * Standard JSON interface: Only run code generation if it has been requested. This could lead to unsupported feature errors only being reported at the point where you request bytecode. + * SMTChecker: Support one-dimensional mappings. + * Standard JSON Interface: Disallow unknown keys in standard JSON input. + * Standard JSON Interface: Only run code generation if it has been requested. This could lead to unsupported feature errors only being reported at the point where you request bytecode. * Static Analyzer: Do not warn about unused variables or state mutability for functions with an empty body. * Type Checker: Add an additional reason to be displayed when type conversion fails. * Yul: Support object access via ``datasize``, ``dataoffset`` and ``datacopy`` in standalone assembly mode. Bugfixes: - * Compiler Interface: Report specific error message for json input errors instead of internal compiler error + * Standard JSON Interface: Report specific error message for json input errors instead of internal compiler error. Build System: * Replace the trusty PPA build by a static build on cosmic that is used for the trusty package instead. * Remove support for Visual Studio 2015. + ### 0.5.1 (2018-12-03) Language Features: |