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: Refactor module #1130

Closed jubnzv closed 2 years ago

jubnzv commented 2 years ago

Closes #1115 (see the description of the issue for the goals of refactoring)

jubnzv commented 2 years ago

The warnings emitted on the set of reference contracts are the same between this branch and the master branch.