Updated on 2022-06-10 10:15:32 UTC
refreshed every 30 minutes
@alocascioalocascio (9)@MBourgoinMBourgoin (2)@OanaLPOanaLP (2)@SamREyeSamREye (2)@davdumasdavdumas (2)@jgonlabsjgonlabs (2)@klakplokklakplok (2)@nguyencharles.nlabsnguyencharles.nlabs (2)@onurbonurb (2)@pirbopirbo (2)@raphael-proustraphael-proust (2)@romain.nlromain.nl (2)@vbotbolvbotbol (2)

Everybody's actions on nomadic-labs/sapling-verification IMTs (11)

Resource Action Who and why
nomadic-labs/sapling-verification!23
F* Sapling Spec: Write a detailed README
IMTs 		Reply to thread @alocascioalocascio is the original author
Add a merge-team reviewer @alocascioalocascio is the original author
Help add merge-team reviewers @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol is a dispatcher
nomadic-labs/sapling-verification!21
Split Tree module in the F* Spec
FStar IMTs 		Review or approve @alocascioalocascio is assigned
Add a merge-team reviewer @alocascioalocascio is the original author
Help add merge-team reviewers @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol is a dispatcher
nomadic-labs/sapling-verification#21
F* IMT Spec: Meta-F* Spec extraction
FStar IMTs OCaml QCheck 		Complete task @alocascioalocascio is assigned
nomadic-labs/sapling-verification#20
F* IMT Spec: Specification extraction.
FStar IMTs OCaml QCheck 		Complete task @alocascioalocascio is assigned
nomadic-labs/sapling-verification#22
F* IMT Spec: Code extraction
FStar IMTs OCaml 		Solve issue @alocascioalocascio is assigned
nomadic-labs/sapling-verification#23
F* IMT Spec: Protocol tests
FStar IMTs OCaml tests 		Solve issue @alocascioalocascio opened issue and no one is assigned
nomadic-labs/sapling-verification!20
Draft: Meta-F* QCheck test generation
FStar IMTs QCheck 		UnWIP @alocascioalocascio is the original author

Repositories

snomadic-labs/sapling-verification

Dispatchers:   @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol (from project owners)
Merge‑teamers:   @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol (copied from dispatchers)
Issue watchers:  No one (no one)
Labels:  Coq FStar High IMTs Low meta-issue OCaml QCheck Release Management Crew state::blocked state::in-progress state::in-review state::ready-to-merge state::to-do tests