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

@davdumasDavid Dumas' actions on nomadic-labs/coq-tezos-of-ocaml (7)

Resource Action Why
nomadic-labs/coq-tezos-of-ocaml!560
encoding
Blocking nomadic-labs/coq-tezos-of-ocaml#102 nomadic-labs/coq-tezos-of-ocaml#101
Help add merge-team reviewers davdumas is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!510
MR for saturation fuzzing proofs help
Help add merge-team reviewers davdumas is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!528
Added proof for substr_l_eq
Help add merge-team reviewers davdumas is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!548
More simulation cases for the interpreter
michelson
Help add merge-team reviewers davdumas is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!563
Added simulation for dep_big_map_get_by_hash
Help add merge-team reviewers davdumas is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!568
Added proofs for index_opt_eq and substr_l_eq
Help add merge-team reviewers davdumas is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!569
Michelson : Add proof for dep_parse_instr_eq
Help add merge-team reviewers davdumas is a dispatcher