Updated on 2022-06-10 10:15:32 UTC
refreshed every 30 minutes
refreshed every 30 minutes
Antonio Locascio's actions
on nomadic-labs/sapling-verification
(16)
| Resource | Action | Why |
|---|---|---|
| nomadic-labs/sapling-verification!23 F* Sapling Spec: Write a detailed README IMTs | Reply to thread | alocascio is the original author |
| Add a merge-team reviewer | alocascio is the original author | |
| nomadic-labs/sapling-verification!21 Split Tree module in the F* Spec FStar IMTs | Review or approve | alocascio is assigned |
| Add a merge-team reviewer | alocascio is the original author | |
| nomadic-labs/sapling-verification#21 F* IMT Spec: Meta-F* Spec extraction FStar IMTs OCaml QCheck | Complete task | alocascio is assigned |
| nomadic-labs/sapling-verification#20 F* IMT Spec: Specification extraction. FStar IMTs OCaml QCheck | Complete task | alocascio is assigned |
| nomadic-labs/sapling-verification#22 F* IMT Spec: Code extraction FStar IMTs OCaml | Solve issue | alocascio is assigned |
| nomadic-labs/sapling-verification#23 F* IMT Spec: Protocol tests FStar IMTs OCaml tests | Solve issue | alocascio opened issue and no one is assigned |
| nomadic-labs/sapling-verification#24 F* contributions status | Solve issue | alocascio opened issue and no one is assigned |
| nomadic-labs/sapling-verification!22 Draft: Commit&Reveal Specification in DY* | Complete task | alocascio is the original author |
| UnWIP | alocascio is the original author | |
| nomadic-labs/sapling-verification!15 Draft: Alocascio@working branch state::in-progress | UnWIP | alocascio is the original author |
| nomadic-labs/sapling-verification!20 Draft: Meta-F* QCheck test generation FStar IMTs QCheck | UnWIP | alocascio is the original author |
| nomadic-labs/sapling-verification!24 Draft: prove Merkle framing property FStar | UnWIP | alocascio is the original author |
| nomadic-labs/sapling-verification!25 Draft: Tests for Protocol Sapling | UnWIP | alocascio is the original author |
| nomadic-labs/sapling-verification#16 F* Verification Meta-Issue FStar meta-issue | Meta issue task | alocascio is assigned |
Repositories
snomadic-labs/sapling-verification
Dispatchers:
 davdumas
 jgonlabs
 klakplok
 MBourgoin
 nguyencharles.nlabs
 OanaLP
 onurb
 pirbo
 raphael-proust
 romain.nl
 SamREye
 vbotbol
(from project owners)
Merge‑teamers:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(copied from dispatchers)
Issue watchers: No one
(no one)
|