cerc-io/solidity
16
0
Fork 0
mirror of https://github.com/ethereum/solidity synced 2023-10-03 13:03:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Changelog

Browse Source
This commit is contained in:
Leonardo Alt 2020-12-10 20:41:12 +01:00
parent 2cbf33ca1c
commit 7ba91cdc33
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Changelog.md
View File

@ -1,5 +1,7 @@
### 0.8.1 (unreleased)
Compiler Features:
* SMTChecker: Support ABI functions as uninterpreted functions.
### 0.8.0 (2020-12-16)