diff --git a/Changelog.md b/Changelog.md index 87678abbf..1cb97d464 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,4 +1,4 @@ -### 0.7.5 (unreleased) +### 0.7.5 (2020-11-18) Language Features: * Ability to select the abi coder using ``pragma abicoder v1`` and ``pragma abicoder v2``. @@ -6,33 +6,32 @@ Language Features: * Immutable variables with literal number values are considered pure. Compiler Features: - * Command Line Interface: New option ``--experimental-via-ir`` allows switching compilation process to go through - the Yul intermediate representation. This is highly experimental and is used for development purposes. - * Standard JSON: New option ``settings.viaIR`` allows the same switch as ``--experimental-via-ir`` on the commandline. + * Assembler: Perform linking in assembly mode when library addresses are provided. + * Command Line Interface: New option ``--experimental-via-ir`` allows switching compilation process to go through the Yul intermediate representation. This is highly experimental and is used for development purposes. + * Command Line Interface: New option ``--model-checker-timeout`` sets a timeout in milliseconds for each individual query performed by the SMTChecker. * Command Line Interface: Report error if file could not be read in ``--standard-json`` mode. * Command Line interface: Report proper error for each output file which could not be written. Previously an exception was thrown, and execution aborted, on the first error. * SMTChecker: Add division by zero checks in the CHC engine. - * SMTChecker: Support ``selector`` for expressions with value known at compile-time. * SMTChecker: More precise analysis of external calls using ``this``. - * Command Line Interface: New option ``--model-checker-timeout`` sets a timeout in milliseconds for each individual query performed by the SMTChecker. + * SMTChecker: Support ``selector`` for expressions with value known at compile-time. * Standard JSON: New option ``modelCheckerSettings.timeout`` sets a timeout in milliseconds for each individual query performed by the SMTChecker. - * Assembler: Perform linking in assembly mode when library addresses are provided. + * Standard JSON: New option ``settings.viaIR`` allows the same switch as ``--experimental-via-ir`` on the commandline. Bugfixes: - * Command Line Interface: Reject duplicate libraries in ``--libraries`` option instead of arbitrarily choosing one. - * SMTChecker: Fix lack of reporting potential violations when using only the CHC engine. - * SMTChecker: Fix internal error on conversion from string literal to byte. - * SMTChecker: Fix internal error when using tuples of rational literals inside the conditional operator. - * SMTChecker: Fix internal error when assigning state variable via contract's name. - * SMTChecker: Fix incorrect counterexamples reported by the CHC engine. - * SMTChecker: Fix false negative in modifier applied multiple times. - * SMTChecker: Fix internal error in the BMC engine when inherited contract from a different source unit has private state variables. - * SMTChecker: Fix internal error when ``array.push()`` is used as the LHS of an assignment. - * Command Line Interface: Fix write error when the directory passed to ``--output-dir`` ends with a slash. - * SMTChecker: Fix CHC false positives when branches are used inside modifiers. * Code generator: Fix missing creation dependency tracking for abstract contracts. + * Command Line Interface: Fix write error when the directory passed to ``--output-dir`` ends with a slash. + * Command Line Interface: Reject duplicate libraries in ``--libraries`` option instead of arbitrarily choosing one. * NatSpec: Fix internal error when inheriting return parameter documentation but the parameter names differ between base and inherited. + * SMTChecker: Fix CHC false positives when branches are used inside modifiers. + * SMTChecker: Fix false negative in modifier applied multiple times. + * SMTChecker: Fix incorrect counterexamples reported by the CHC engine. + * SMTChecker: Fix internal error in the BMC engine when inherited contract from a different source unit has private state variables. + * SMTChecker: Fix internal error on conversion from string literal to byte. + * SMTChecker: Fix internal error when ``array.push()`` is used as the LHS of an assignment. + * SMTChecker: Fix internal error when assigning state variable via contract's name. + * SMTChecker: Fix internal error when using tuples of rational literals inside the conditional operator. + * SMTChecker: Fix lack of reporting potential violations when using only the CHC engine. * Standard JSON: Fix library addresses specified in ``libraries`` being used for linking even if the file names do not match. AST Changes: diff --git a/docs/bugs_by_version.json b/docs/bugs_by_version.json index f41ff355f..8c0921ffd 100644 --- a/docs/bugs_by_version.json +++ b/docs/bugs_by_version.json @@ -1369,5 +1369,9 @@ "0.7.4": { "bugs": [], "released": "2020-10-19" + }, + "0.7.5": { + "bugs": [], + "released": "2020-11-18" } } \ No newline at end of file