Resource | Action | Who and why |
---|---|---|
nomadic-labs/mi-cho-coq!100 Dexter 2 verification (Dexter/FA1.2LQT, Dexter 1.5) dexter2 smart-contract verification Blocked by nomadic-labs/mi-cho-coq!118 | Unblock | arvidnl is the original author |
nomadic-labs/mi-cho-coq#56 Adapt Dexter2 development for liquidity baking dexter2 smart-contract verification Blocked by nomadic-labs/mi-cho-coq#47 | Unblock | yrg is assigned |
nomadic-labs/mi-cho-coq!103 WIP: Optimize Michelson lexical analysis dexter2 | Reply to thread | yrg is the original author |
Reply to thread | yrg is the original author | |
UnWIP | yrg is the original author | |
nomadic-labs/mi-cho-coq!124 Draft: Adapt Dexter2 proofs for CPMM2 dexter2 smart-contract verification | Complete task | arvidnl is the original author |
UnWIP | arvidnl is the original author |
Mnomadic-labs/mi-cho-coq
Dispatchers:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(from project owners)
Merge‑teamers:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(copied from dispatchers)
Issue watchers: No one
(no one)
Labels: beginner
bug
build
ci
coq-of-ocaml 🐓
dexter2
doc
documentation
Doing
Done
formalisation
framework
gas
mergable
optimizer
ott
performance
proto proposal
Release Management Crew
smart-contract verification
state::blocked
state::in-progress
state::in-review
state::ready-to-merge
state::to-do
test
Todo
wp
|