Updated on 2022-06-10 10:15:33 UTC
refreshed every 30 minutes
refreshed every 30 minutes
Daniel Hilst's actions
on nomadic-labs/coq-tezos-of-ocaml
(13)
| Resource | Action | Why |
|---|---|---|
| nomadic-labs/coq-tezos-of-ocaml!569 Michelson : Add proof for dep_parse_instr_eq | Reply to thread | dhilst is the original author |
| Add a merge-team reviewer | dhilst is the original author | |
| nomadic-labs/coq-tezos-of-ocaml!548 More simulation cases for the interpreter michelson | Review or approve | dhilst is set as reviewer |
| nomadic-labs/coq-tezos-of-ocaml#141 Translator simulations 80-89 michelson sprint-3 sprint-4 | Complete task | dhilst is assigned |
| nomadic-labs/coq-tezos-of-ocaml#168 Use of conventions during the translation to verify exceptions and errors in the protocol | Solve issue | dhilst opened issue and no one is assigned |
| nomadic-labs/coq-tezos-of-ocaml!562 Draft: Michelson : Add proofs for dep_extract_lazy_storage_updates and dep_fold_lazy_storage_eq | Close or reply to thread | dhilst is the thread author |
| Close or reply to thread | dhilst is the thread author | |
| Fix CI | dhilst is the original author and triggered last pipeline | |
| UnWIP | dhilst is the original author | |
| nomadic-labs/coq-tezos-of-ocaml!291 Draft: 96-parse-unparse-comparable_data | Close or reply to thread | dhilst is the thread author |
| Close or reply to thread | dhilst is the thread author | |
| nomadic-labs/coq-tezos-of-ocaml!483 Draft: Sc_rollup_inbox_proof_encodings | Close or reply to thread | dhilst is the thread author |
| nomadic-labs/coq-tezos-of-ocaml!570 Draft: Simulation : Add proof for dep_collect_storage_updates | UnWIP | dhilst is the original author |
Repositories
|
