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

Merge pull request #13503 from ethereum/release-link-check

Browse Source 
Fix SMT checker paper link
This commit is contained in:
Daniel Kirchner 2022-09-08 15:32:25 +02:00 committed by GitHub
commit 130892cdaa
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/smtchecker.rst
View File

@ -684,7 +684,7 @@ Types that are not yet supported are abstracted by a single 256-bit unsigned
integer, where their unsupported operations are ignored. integer, where their unsupported operations are ignored.
For more details on how the SMT encoding works internally, see the paper For more details on how the SMT encoding works internally, see the paper
`SMT-based Verification of Solidity Smart Contracts <https://github.com/leonardoalt/text/blob/master/solidity_isola_2018/main.pdf>`_. `SMT-based Verification of Solidity Smart Contracts <https://github.com/chriseth/solidity_isola/blob/master/main.pdf>`_.
Function Calls Function Calls
============== ==============