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

@rafoo_Raphaël Cauderlier's actions on tezos/michelson-reference (6)

Resource Action Why
tezos/michelson-reference#30
Automatic generation from OCaml
priority::medium coherency nice to have
Solve issue rafoo_ is assigned
tezos/michelson-reference#45
Check that the Coq output of michelson.ott typechecks
priority::medium ci difficulty::medium test
Solve issue rafoo_ opened issue and no one is assigned
tezos/michelson-reference#36
Follow-up from "Align interactive reference with static of master (protocol 006) 1/2: up to 42bae26a7d"
priority::low difficulty::easy reference
Complete task rafoo_ opened issue and no one is assigned
tezos/michelson-reference#66
Inconsistency and other clarifications in the doc
documentation
Solve issue rafoo_ is assigned
tezos/michelson-reference#64
Fix documentation of public key comparison
Solve issue rafoo_ opened issue and no one is assigned
tezos/michelson-reference!44
Draft: Add `modified-in` field for instructions and types
reference-schema
Close or reply to thread rafoo_ is the thread author