aboutsummaryrefslogtreecommitdiffstats
path: root/Changelog.md
diff options
context:
space:
mode:
authorMartin Diz <gitlab@martindiz.com.ar>2018-10-04 23:31:52 +0800
committerMartin Diz <gitlab@martindiz.com.ar>2018-10-10 22:53:53 +0800
commitef25454a048bee9049c6076421d08732aeacb8bb (patch)
tree6d332b3126a8bfa6cd500eaa858e0dd45c00d7cb /Changelog.md
parentdd4acda73a38ff83ab520e05b552012c324998d5 (diff)
downloaddexon-solidity-ef25454a048bee9049c6076421d08732aeacb8bb.tar
dexon-solidity-ef25454a048bee9049c6076421d08732aeacb8bb.tar.gz
dexon-solidity-ef25454a048bee9049c6076421d08732aeacb8bb.tar.bz2
dexon-solidity-ef25454a048bee9049c6076421d08732aeacb8bb.tar.lz
dexon-solidity-ef25454a048bee9049c6076421d08732aeacb8bb.tar.xz
dexon-solidity-ef25454a048bee9049c6076421d08732aeacb8bb.tar.zst
dexon-solidity-ef25454a048bee9049c6076421d08732aeacb8bb.zip
Improved error message for lookup in function types.
Diffstat (limited to 'Changelog.md')
-rw-r--r--Changelog.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/Changelog.md b/Changelog.md
index 2d6f518c..465a9daa 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -99,6 +99,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";``.
+ * Syntax Checker: Improved error message for lookup in function types.
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``.