aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorDaniel Kirchner <daniel@ekpyron.org>2018-08-09 01:25:47 +0800
committerDaniel Kirchner <daniel@ekpyron.org>2018-08-09 01:29:25 +0800
commit46b0feb6029719ed8db6c9fd30dfde31b9f78521 (patch)
treed88fd18b6844d41f07cc0f0bce2a9130a3825e9d
parentc7a0f441591de8b3ee0adc09c70146319e79dc93 (diff)
downloaddexon-solidity-46b0feb6029719ed8db6c9fd30dfde31b9f78521.tar
dexon-solidity-46b0feb6029719ed8db6c9fd30dfde31b9f78521.tar.gz
dexon-solidity-46b0feb6029719ed8db6c9fd30dfde31b9f78521.tar.bz2
dexon-solidity-46b0feb6029719ed8db6c9fd30dfde31b9f78521.tar.lz
dexon-solidity-46b0feb6029719ed8db6c9fd30dfde31b9f78521.tar.xz
dexon-solidity-46b0feb6029719ed8db6c9fd30dfde31b9f78521.tar.zst
dexon-solidity-46b0feb6029719ed8db6c9fd30dfde31b9f78521.zip
Add Changelog entry.
-rw-r--r--Changelog.md1
1 files changed, 1 insertions, 0 deletions
diff --git a/Changelog.md b/Changelog.md
index 37dcea7a..49524176 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -80,6 +80,7 @@ Compiler Features:
* Removed ``pragma experimental "v0.5.0";``.
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``.
* Tests: Fix chain parameters to make ipc tests work with newer versions of cpp-ethereum.
* Code Generator: Fix allocation of byte arrays (zeroed out too much memory).
* Code Generator: Properly handle negative number literals in ABIEncoderV2.