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 |