search

Zilliqa / scilla

Scilla - A Smart Contract Intermediate Level Language
https://scilla-lang.org
GNU General Public License v3.0
240 stars 79 forks source link

DeadCodeDetector: Refine the documentation for the module #1122

Closed jubnzv closed 2 years ago

jubnzv commented 2 years ago

We could use these criteria later when we will work on the formal definition of the static analyzer.