Updated on 2022-06-10 10:15:38 UTC
refreshed every 30 minutes

@ksojakovaKristina Sojakova's actions on nomadic-labs/mi-cho-coq (9)

Resource Action Why
nomadic-labs/mi-cho-coq!137
FA1.2 verification v2
formalisation 		Act ksojakova is assigned
nomadic-labs/mi-cho-coq!149
Kristina@ctez 		Fix CI ksojakova is the original author and triggered last pipeline
Add a merge-team reviewer ksojakova is the original author
nomadic-labs/mi-cho-coq#51
Verify Dexter 2 (Dexter/FA1.2LQT, Dexter 1.5)
smart-contract verification 		Complete task ksojakova is assigned
nomadic-labs/mi-cho-coq#40
Formalize the FA1.2 specification and verify an implementation
formalisation smart-contract verification 		Solve issue ksojakova is assigned
nomadic-labs/mi-cho-coq#45
Formalize the FA2 specification and verify implementations
formalisation smart-contract verification 		Solve issue ksojakova is assigned
nomadic-labs/mi-cho-coq#46
Specify and verify Dexter/FA2
formalisation smart-contract verification 		Solve issue ksojakova is assigned
nomadic-labs/mi-cho-coq!153
Draft: Formalize the FA2 specification and verify implementations 		Act ksojakova is assigned
nomadic-labs/mi-cho-coq!156
Draft: make Mi-cho-coq maps more usable 		UnWIP ksojakova 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