nomadic-labs/coq-tezos-of-ocaml!548
More simulation cases for the interpreter
michelson
|
Review or approve
|
 clarus1
is assigned |
|
Add a merge-team reviewer
|
clarus1
is the original author |
|
Review or approve
|
 dhilst
is set as reviewer |
|
Help add merge-team reviewers
|
 davdumas
 jgonlabs
 klakplok
 MBourgoin
 nguyencharles.nlabs
 OanaLP
 onurb
 pirbo
 raphael-proust
 romain.nl
 SamREye
 vbotbol
is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml#138
Translator simulations 50-59
michelson
sprint-3
sprint-4
|
Complete task
|
 kewersonhugo
is assigned |
nomadic-labs/coq-tezos-of-ocaml#137
Translator simulations 40-49
michelson
sprint-3
sprint-4
|
Complete task
|
 deepmindster
is assigned |
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#117
Define all remaining cases for dep_step
michelson
sprint-3
sprint-4
|
Complete task
|
clarus1
is assigned |
nomadic-labs/coq-tezos-of-ocaml#139
Translator simulations 60-69
michelson
sprint-3
sprint-4
|
Solve issue
|
deepmindster
is assigned |
nomadic-labs/coq-tezos-of-ocaml#140
Translator simulations 70-79
michelson
sprint-3
sprint-4
|
Solve issue
|
 RektYuan
is assigned |
nomadic-labs/coq-tezos-of-ocaml#135
Translator simulations 20-29
michelson
sprint-3
sprint-4
Blocked by
nomadic-labs/coq-tezos-of-ocaml!504
|
Unblock
|
 kumar.shubham.off
is assigned |
nomadic-labs/coq-tezos-of-ocaml#64
Size function of Michocoq map returns the wrong size
michelson
|
Solve issue
|
kewersonhugo
opened issue and no one is assigned |
nomadic-labs/coq-tezos-of-ocaml#70
Check the equality of dep_step for axioms
michelson
|
Solve issue
|
clarus1
opened issue and no one is assigned |
nomadic-labs/coq-tezos-of-ocaml#118
Terminate the proof of dep_step_eq
michelson
sprint-3
sprint-4
|
Solve issue
|
clarus1
opened issue and no one is assigned |
nomadic-labs/coq-tezos-of-ocaml#206
Definition the simulation of the IView instruction
michelson
|
Solve issue
|
clarus1
opened issue and no one is assigned |
nomadic-labs/coq-tezos-of-ocaml!536
Draft: More simulation interpreter proofs using Valid predicate
michelson
|
Fix CI
|
clarus1
is the original author and triggered last pipeline |
|
UnWIP
|
clarus1
is the original author |
nomadic-labs/coq-tezos-of-ocaml!564
Draft: Simulation for the transfer function
michelson
|
Fix CI
|
clarus1
is the original author and triggered last pipeline |
|
UnWIP
|
clarus1
is the original author |
nomadic-labs/coq-tezos-of-ocaml!524
Draft: Simulation of parse_instr
michelson
|
UnWIP
|
clarus1
is the original author |
