Updated on 2022-06-10 10:15:38 UTC
refreshed every 30 minutes
@rafoo_rafoo_ (9)@ksojakovaksojakova (4)@arvidnlarvidnl (3)@MBourgoinMBourgoin (1)@OanaLPOanaLP (1)@SamREyeSamREye (1)@davdumasdavdumas (1)@jgonlabsjgonlabs (1)@julien.tjulien.t (1)@klakplokklakplok (1)@nguyencharles.nlabsnguyencharles.nlabs (1)@onurbonurb (1)@pirbopirbo (1)@raphael-proustraphael-proust (1)@romain.nlromain.nl (1)@vbotbolvbotbol (1)

Everybody's actions on nomadic-labs/mi-cho-coq formalisation (15)

Resource Action Who and why
nomadic-labs/mi-cho-coq!137
FA1.2 verification v2
formalisation 		Act @ksojakovaksojakova is assigned
Fix CI @rafoo_rafoo_ pushed recently and triggered last pipeline
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#1
nomadic-labs/mi-cho-coq#1
formalisation gas Todo 		Solve issue @julien.tjulien.t is assigned
nomadic-labs/mi-cho-coq#30
Delay monad
formalisation Todo 		Solve issue @rafoo_rafoo_ is assigned
nomadic-labs/mi-cho-coq#38
Support type assertions using `CAST`
formalisation Todo 		Solve issue @rafoo_rafoo_ 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#29
Formalize big maps
beginner formalisation Todo 		Solve issue @rafoo_rafoo_ opened issue and no one is assigned
nomadic-labs/mi-cho-coq!67
WIP: Tzt support
Doing formalisation test 		Fix CI @rafoo_rafoo_ is the original author and triggered last pipeline
Complete task @rafoo_rafoo_ is the original author
UnWIP @rafoo_rafoo_ is the original author
nomadic-labs/mi-cho-coq!28
WIP: Model crypto nonces generated when operations are forged
formalisation 		UnWIP @rafoo_rafoo_ 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