Updated on 2022-06-10 10:15:33 UTC
refreshed every 30 minutes
@webmathewwebmathew (4)@clarus1clarus1 (3)@deepmindsterdeepmindster (2)@RektYuanRektYuan (1)@dhilstdhilst (1)@emarzionemarzion (1)@kewersonhugokewersonhugo (1)@kumar.shubham.offkumar.shubham.off (1)

Everybody's actions on nomadic-labs/coq-tezos-of-ocaml sprint-4 (14)

Resource Action Who and why
nomadic-labs/coq-tezos-of-ocaml#138
Translator simulations 50-59
michelson sprint-3 sprint-4 		Complete task @kewersonhugokewersonhugo is assigned
nomadic-labs/coq-tezos-of-ocaml#137
Translator simulations 40-49
michelson sprint-3 sprint-4 		Complete task @deepmindsterdeepmindster is assigned
nomadic-labs/coq-tezos-of-ocaml#141
Translator simulations 80-89
michelson sprint-3 sprint-4 		Complete task @dhilstdhilst is assigned
nomadic-labs/coq-tezos-of-ocaml#98
Encodings in 🗂️ Indexable.v
data-encoding sprint-4 		Complete task @webmathewwebmathew is assigned
nomadic-labs/coq-tezos-of-ocaml#100
Encodings in ⚗️ Liquidity_baking_repr.v
data-encoding sprint-4 		Complete task @webmathewwebmathew is assigned
nomadic-labs/coq-tezos-of-ocaml#117
Define all remaining cases for dep_step
michelson sprint-3 sprint-4 		Complete task @clarus1clarus1 is assigned
nomadic-labs/coq-tezos-of-ocaml#139
Translator simulations 60-69
michelson sprint-3 sprint-4 		Solve issue @deepmindsterdeepmindster is assigned
nomadic-labs/coq-tezos-of-ocaml#140
Translator simulations 70-79
michelson sprint-3 sprint-4 		Solve issue @RektYuanRektYuan is assigned
nomadic-labs/coq-tezos-of-ocaml#101
Encodings in 🧑 Main.v
data-encoding sprint-4
Blocked by nomadic-labs/coq-tezos-of-ocaml!560 		Unblock @webmathewwebmathew is assigned
nomadic-labs/coq-tezos-of-ocaml#102
Encodings in 🖼️ Raw_context.v
data-encoding sprint-4
Blocked by nomadic-labs/coq-tezos-of-ocaml!560 		Unblock @webmathewwebmathew is assigned
nomadic-labs/coq-tezos-of-ocaml#127
Verify carbonated maps (3/3)
carbonated maps sprint-3 sprint-4
Blocked by nomadic-labs/coq-tezos-of-ocaml!508 		Unblock @emarzionemarzion is assigned
nomadic-labs/coq-tezos-of-ocaml#135
Translator simulations 20-29
michelson sprint-3 sprint-4
Blocked by nomadic-labs/coq-tezos-of-ocaml!504 		Unblock @kumar.shubham.offkumar.shubham.off is assigned
nomadic-labs/coq-tezos-of-ocaml#90
Verify `back_path_is_valid` for skip lists
skip-lists sprint-3 sprint-4 		Solve issue @clarus1clarus1 opened issue and no one is assigned
nomadic-labs/coq-tezos-of-ocaml#118
Terminate the proof of dep_step_eq
michelson sprint-3 sprint-4 		Solve issue @clarus1clarus1 opened issue and no one is assigned

Repositories

nomadic-labs/coq-tezos-of-ocamlnomadic-labs/coq-tezos-of-ocaml

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:  carbonated maps cleaning compare coq-of-ocaml data-encoding doing internal errors michelson protocol-proof Release Management Crew skip-lists sprint-2 sprint-3 sprint-4 state::blocked state::in-progress state::in-review state::ready-to-merge state::to-do storage tests