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

Raphaël Proust's 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	raphael-proust is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!510 MR for saturation fuzzing proofs help	Help add merge-team reviewers	raphael-proust is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!528 Added proof for substr_l_eq	Help add merge-team reviewers	raphael-proust is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!548 More simulation cases for the interpreter michelson	Help add merge-team reviewers	raphael-proust is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!563 Added simulation for dep_big_map_get_by_hash	Help add merge-team reviewers	raphael-proust 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	raphael-proust is a dispatcher
nomadic-labs/coq-tezos-of-ocaml!569 Michelson : Add proof for dep_parse_instr_eq	Help add merge-team reviewers	raphael-proust is a dispatcher