-
Notifications
You must be signed in to change notification settings - Fork 19
Pull requests: AU-COBRA/ConCert
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Implementation of the Concordium's ccd wrapper token (cis1-wccd) and proofs of compliance with CIS1
#127
by annenkov
was merged Jan 6, 2022
Loading…
Add inner and mutual fixpoint examples to Rust extraction
#145
by annenkov
was merged Mar 15, 2022
Loading…
ProTip!
Exclude everything labeled
bug
with -label:bug.