Updated on 2022-06-10 10:15:38 UTC
refreshed every 30 minutes
@arvidnlarvidnl (15)@rafoo_rafoo_ (14)@onurbonurb (7)@MBourgoinMBourgoin (4)@OanaLPOanaLP (4)@SamREyeSamREye (4)@davdumasdavdumas (4)@jgonlabsjgonlabs (4)@klakplokklakplok (4)@ksojakovaksojakova (4)@nguyencharles.nlabsnguyencharles.nlabs (4)@pirbopirbo (4)@raphael-proustraphael-proust (4)@romain.nlromain.nl (4)@vbotbolvbotbol (4)@colin.gcolin.g (2)@tomjacktomjack (1)@yrgyrg (1)

Everybody's actions on nomadic-labs/mi-cho-coq smart-contract verification (35)

Resource Action Who and why
nomadic-labs/mi-cho-coq#47
Verify Dexter/CPMM
smart-contract verification
Blocking nomadic-labs/mi-cho-coq#56 		Solve issue @arvidnlarvidnl is assigned
nomadic-labs/mi-cho-coq!70
Certification of the specialised multisig
smart-contract verification 		Close or reply to thread @rafoo_rafoo_ is the thread author
Add a merge-team reviewer @rafoo_rafoo_ is the original author
Help add merge-team reviewers @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol is a dispatcher
nomadic-labs/mi-cho-coq!62
Functional proof of guestbook contract and simple lifetime property
smart-contract verification 		Close or reply to thread @rafoo_rafoo_ is the thread author
Reply to thread @arvidnlarvidnl is the original author
Add a merge-team reviewer @arvidnlarvidnl is the original author
Help add merge-team reviewers @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol is a dispatcher
nomadic-labs/mi-cho-coq!59
Add specialized multisig source
doc smart-contract verification 		Close or reply to thread @rafoo_rafoo_ is the thread author
Reply to thread @rafoo_rafoo_ pushed recently
Add a merge-team reviewer @rafoo_rafoo_ pushed recently
Help add merge-team reviewers @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol is a dispatcher
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 @arvidnlarvidnl is the original author
nomadic-labs/mi-cho-coq!71
Dexter verification
smart-contract verification 		Add a merge-team reviewer @arvidnlarvidnl @colin.gcolin.g pushed recently
Help add merge-team reviewers @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol is a dispatcher
nomadic-labs/mi-cho-coq#37
Simplification of the formula produced by eval_precond for `COMPARE; EQ`
smart-contract verification Todo 		Complete task @rafoo_rafoo_ is assigned
nomadic-labs/mi-cho-coq#51
Verify Dexter 2 (Dexter/FA1.2LQT, Dexter 1.5)
smart-contract verification 		Complete task @arvidnlarvidnl @colin.gcolin.g @ksojakovaksojakova @tomjacktomjack is assigned
nomadic-labs/mi-cho-coq#20
Verify the dexter contract
Doing smart-contract verification 		Solve issue @arvidnlarvidnl @onurbonurb @rafoo_rafoo_ is assigned
nomadic-labs/mi-cho-coq#22
nomadic-labs/mi-cho-coq#22
Done smart-contract verification 		Solve issue @onurbonurb is assigned
nomadic-labs/mi-cho-coq#40
Formalize the FA1.2 specification and verify an implementation
formalisation smart-contract verification 		Solve issue @arvidnlarvidnl @ksojakovaksojakova is assigned
nomadic-labs/mi-cho-coq#45
Formalize the FA2 specification and verify implementations
formalisation smart-contract verification 		Solve issue @arvidnlarvidnl @ksojakovaksojakova is assigned
nomadic-labs/mi-cho-coq#46
Specify and verify Dexter/FA2
formalisation smart-contract verification 		Solve issue @arvidnlarvidnl @ksojakovaksojakova is assigned
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 @yrgyrg is assigned
nomadic-labs/mi-cho-coq!6
WIP: Documentation of the proof of the multisig contract
doc smart-contract verification 		Reply to thread @rafoo_rafoo_ is the original author
Reply to thread @rafoo_rafoo_ is the original author
Reply to thread @rafoo_rafoo_ is the original author
Reply to thread @rafoo_rafoo_ is the original author
Reply to thread @rafoo_rafoo_ is the original author
Close or reply to thread @onurbonurb is the thread author
UnWIP @rafoo_rafoo_ is the original author
nomadic-labs/mi-cho-coq!99
Draft: [dexter/fa2] add a hackish version of fa2 def/spec
smart-contract verification 		Fix CI @arvidnlarvidnl is the original author and triggered last pipeline
UnWIP @arvidnlarvidnl is the original author
nomadic-labs/mi-cho-coq!124
Draft: Adapt Dexter2 proofs for CPMM2
dexter2 smart-contract verification 		Complete task @arvidnlarvidnl is the original author
UnWIP @arvidnlarvidnl is the original author
nomadic-labs/mi-cho-coq!95
Draft: Dexter/CPMM verification
smart-contract verification 		UnWIP @arvidnlarvidnl is the original author

Repositories

Mnomadic-labs/mi-cho-coq

Dispatchers:   @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol (from project owners)
Merge‑teamers:   @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol (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