diff options
| -rw-r--r-- | Changelog.md | 10 | ||||
| -rw-r--r-- | docs/bugs_by_version.json | 4 |
2 files changed, 10 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: diff --git a/docs/bugs_by_version.json b/docs/bugs_by_version.json index 658aab9c..438abbdd 100644 --- a/docs/bugs_by_version.json +++ b/docs/bugs_by_version.json @@ -616,5 +616,9 @@ "0.5.1": { "bugs": [], "released": "2018-12-03" + }, + "0.5.2": { + "bugs": [], + "released": "2018-12-19" } }
\ No newline at end of file |