search

gradual-verification / gvc0

Gradually Verified C0
6 stars 5 forks source link

Finish part of import and comment in the pyteal parser #51

Closed JudySun233 closed 1 year ago

JudySun233 commented 1 year ago

There are some bugs, eg. could not write comments under the codes.