Updated on 2022-06-10 10:15:21 UTC
refreshed every 30 minutes

@alocascioAntonio Locascio's actions (19)

Resource Action Why
nomadic-labs/privacy-team#126
Reduce 1 constraint in [is_eq_const] (Plompiler/Core)
plompiler optimisation 		Solve issue alocascio is assigned
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/privacy-team!295
Plompiler: add Bounded module 		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/privacy-team#156
Rollup: use of pks for identifying accounts 		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

pnomadic-labs/privacy-team

Dispatchers:   @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol (from project owners)
Merge‑teamers:   @dannywillemsdannywillems @MarcBeunardeauMarcBeunardeau @paracetamoloparacetamolo (from approval rules)
Issue watchers:  No one (no one)
Labels:  lib_crypto plonk rollup plompiler algebra code quality optimisation Release Management Crew security state::blocked state::in-progress state::in-review state::ready-to-merge state::to-do

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