tezos/michelson-reference#41 Add a `modified-in` field to types and instructions priority::high
reference
reference-schema
|
Solve issue
|
arvidnl
is assigned |
tezos/michelson-reference#58 Make sure michelson reference is up-to-date with latest version of the static documentation priority::high
coherency
difficulty::medium
reference
|
Solve issue
|
arvidnl
is assigned |
tezos/michelson-reference#14 Document RENAME and CAST priority::high
coherency
difficulty::easy
reference
|
Solve issue
|
arvidnl
opened issue and no one is assigned |
tezos/michelson-reference#12 Update documentation guidelines to make sure that new instructions are documented priority::high
difficulty::easy
integration
|
Solve issue
|
arvidnl
opened issue and no one is assigned |
tezos/michelson-reference#27 Replace existing rst reference with this reference priority::high
coherency
|
Solve issue
|
arvidnl
opened issue and no one is assigned |
tezos/michelson-reference#3 Suggestions on semantics and values priority::medium
output
reference
|
Complete task
|
arvidnl
is assigned |
tezos/michelson-reference#37 Follow-up from "Re-organization 3/3: Add documentation tests": add contract literals priority::medium
difficulty::easy
reference
|
Complete task
|
arvidnl
is assigned |
tezos/michelson-reference#30 Automatic generation from OCaml priority::medium
coherency
nice to have
|
Solve issue
|
rafoo_
is assigned |
tezos/michelson-reference#39 Give more details for the documentation of address comparison priority::medium
difficulty::easy
reference
|
Solve issue
|
yrg
is assigned |
tezos/michelson-reference#59 Restructure the reference priority::medium
difficulty::medium
|
Solve issue
|
arvidnl
is assigned |
tezos/michelson-reference#19 Verify that documented instructions = all instructions priority::medium
coherency
difficulty::medium
|
Solve issue
|
arvidnl
opened issue and no one 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#47 Some follow-ups from Edo update priority::low
difficulty::medium
documentation
output
reference
|
Complete task
|
arvidnl
is assigned |
tezos/michelson-reference#18 CHECK_SIGNATURE, COMPARE, DIG documentation improvement priority::low
difficulty::easy
output
reference
|
Complete task
|
baugr
is assigned |
tezos/michelson-reference#43 A more modular meta-data file `michelson-meta.yaml` priority::low
reference-schema
|
Solve issue
|
arvidnl
is assigned |
tezos/michelson-reference#44 Schema: separate instructions / types per protocols priority::low
nice to have
reference-schema
|
Solve issue
|
arvidnl
is assigned |
tezos/michelson-reference#52 Add examples from TZT suite priority::low
difficulty::medium
output
test
|
Solve issue
|
arvidnl
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#7 Add more example contracts priority::low
reference
|
Solve issue
|
arvidnl
opened issue and no one is assigned |
tezos/michelson-reference#13 Document annotations priority::low
coherency
reference
|
Solve issue
|
arvidnl
opened issue and no one is assigned |
tezos/michelson-reference#22 Document macros priority::low
feature
reference
reference-schema
|
Solve issue
|
arvidnl
opened issue and no one is assigned |
tezos/michelson-reference#51 Descriptions of predicates over types are incomplete priority::low
difficulty::medium
output
test
|
Solve issue
|
yrg
opened issue and no one is assigned |
tezos/michelson-reference#63 Move the enumeration and description of type attributes to the meta data file priority::low
difficulty::medium
output
reference
reference-schema
|
Solve issue
|
arvidnl
opened issue and no one is assigned |
tezos/michelson-reference!62 Formatting fixes for SET_DELEGATE instruction reference
|
Act
|
baugr
is assigned |
Fix CI
|
arvidnl
is the original author and triggered last pipeline |
Add a merge-team reviewer
|
arvidnl
is the original author |
Help add merge-team reviewers
|
arvidnl
jgonlabs
klakplok
murbard
OanaLP
pirbo
smondet
tmcgilchrist
is a dispatcher |
tezos/michelson-reference!63 Clarification on the representation of newlines in concrete strings reference
|
Act
|
baugr
is assigned |
Fix CI
|
arvidnl
is the original author and triggered last pipeline |
Add a merge-team reviewer
|
arvidnl
is the original author |
Help add merge-team reviewers
|
arvidnl
jgonlabs
klakplok
murbard
OanaLP
pirbo
smondet
tmcgilchrist
is a dispatcher |
tezos/michelson-reference!64 Fix backwards cycling through search results output
|
Act
|
baugr
is assigned |
Fix CI
|
arvidnl
is the original author and triggered last pipeline |
Add a merge-team reviewer
|
arvidnl
is the original author |
Help add merge-team reviewers
|
arvidnl
jgonlabs
klakplok
murbard
OanaLP
pirbo
smondet
tmcgilchrist
is a dispatcher |
tezos/michelson-reference!65 fix typing rule for PUSH
|
Act
|
Charles.d
is assigned |
Close or reply to thread
|
NicVolanschi
is the thread author |
Fix CI
|
NicVolanschi
is the original author and triggered last pipeline |
Add a merge-team reviewer
|
NicVolanschi
is the original author |
Help add merge-team reviewers
|
arvidnl
jgonlabs
klakplok
murbard
OanaLP
pirbo
smondet
tmcgilchrist
is a dispatcher |
tezos/michelson-reference#67 Add category for types that are "passable" to smart contract rollups
|
Solve issue
|
jobjo
is assigned |
tezos/michelson-reference#66 Inconsistency and other clarifications in the doc documentation
|
Solve issue
|
rafoo_
is assigned |
tezos/michelson-reference#60 Possibly missing information compared to old RST doc
|
Complete task
|
NicVolanschi
opened issue and no one is assigned |
tezos/michelson-reference#54 Move ott / yaml to tezos/tezos integration
|
Solve issue
|
arvidnl
opened issue and no one is assigned |
tezos/michelson-reference#62 Add CONTRIBUTING file
|
Solve issue
|
mbouaziz
opened issue and no one 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#65 Incorrect "Try Michelson" link
|
Solve issue
|
shrmtv
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 |
Reply to thread
|
arvidnl
is the original author |
UnWIP
|
arvidnl
is the original author |