cerc-io/solidity
10
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

Fix SMT checker paper link

Browse Source
This commit is contained in:
Nikola Matic 2022-09-08 15:22:47 +02:00
parent 548a4b4ac6
commit f90b25449d
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
============== ==============