search

ethereum / solidity

Solidity, the Smart Contract Programming Language
https://soliditylang.org
GNU General Public License v3.0
23.29k stars 5.77k forks source link

[SMTChecker] Add full name of SMT in the document #11612

Closed simontianx closed 3 years ago

simontianx commented 3 years ago

Page

https://docs.soliditylang.org/en/latest/smtchecker.html

Abstract

It would be nice to explicitly write down that SMT in SMTChecker stands for Satisfiability Modulo Theories. Viewers can have the certainty that what they later find on Google or Wikipedia is the right link to SMT.

hrkrshnn commented 3 years ago

Sounds good. Would you like to submit a PR?

The file that needs to be modified is: https://github.com/ethereum/solidity/blob/develop/docs/smtchecker.rst