diff options
| author | Leonardo Alt <leonardoaltt@gmail.com> | 2018-04-07 00:01:40 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-04-17 19:26:58 +0800 |
| commit | ae3350ae0320d140a427d2fa318e7002745a73a5 (patch) | |
| tree | e4da5e3619baa56b09509004c58b1b5d12594e48 /Changelog.md | |
| parent | 842fd0cd2cef3c11c392b7820e178fd0d034fa07 (diff) | |
| download | dexon-solidity-ae3350ae0320d140a427d2fa318e7002745a73a5.tar.gz dexon-solidity-ae3350ae0320d140a427d2fa318e7002745a73a5.tar.zst dexon-solidity-ae3350ae0320d140a427d2fa318e7002745a73a5.zip | |
[SMTChecker] Integration with CVC4
Diffstat (limited to 'Changelog.md')
| -rw-r--r-- | Changelog.md | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/Changelog.md b/Changelog.md index 2279cd2b..cfd23ad0 100644 --- a/Changelog.md +++ b/Changelog.md @@ -1,12 +1,11 @@ ### 0.4.23 (unreleased) Features: - + * SMTChecker: Integration with CVC4 SMT solver Bugfixes: - ### 0.4.22 (2018-04-16) Features: @@ -34,7 +33,6 @@ Features: * Syntax Tests: Add source locations to syntax test expectations. * Type Checker: Improve documentation and warnings for accessing contract members inherited from ``address``. - Bugfixes: * Code Generator: Allow ``block.blockhash`` without being called. * Code Generator: Do not include internal functions in the runtime bytecode which are only referenced in the constructor. |