issues
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: Fix false positives on ADT constructors for multiple transitions
#1114
Closed
jubnzv
closed
2 years ago