search

Zilliqa / scilla

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

Dynamically collecting semantics of Scilla programs #1058

Closed tramhnt99 closed 2 years ago