search

Zilliqa / scilla-rtl

Execute Scilla code compiled by the Scilla -> LLVM compiler.
GNU General Public License v3.0
8 stars 3 forks source link

Support for contract constraint #64

Closed vaivaswatha closed 2 years ago

vaivaswatha commented 2 years ago

https://github.com/Zilliqa/scilla-compiler/pull/90

vaivaswatha commented 2 years ago

Covered by #65, closing.