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

@ksojakovaKristina Sojakova's actions (12)

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/tezos#498
nomadic-labs/tezos#498
formal-tools 		Complete task ksojakova is assigned
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
tezos/tzip#66
TZIP-12 Treating a transfer of zero tokens as a normal transfer vs a NOOP 		Solve issue ksojakova opened issue and no one is assigned
tezos/tzip#67
TZIP-12 Can the token id returned as part of token metadata be different from the token id ithe metadata corresponds to? 		Solve issue ksojakova opened issue and no one 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

nomadic-labs/tezosnomadic-labs/tezos

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:  priority::high type::bug priority::medium 006-cartago 007 AWS baker benchmark bootstrap CI ci--arm64 ci--arm64-foobar ci--docker ci--docs ci--opam ci--skip client Code quality 🌞 consensus crypto data_encoding ddb devops discussion documentation easy error_monad fancy-node feature-spec feature-verif formal-consistency formal-tools gas incentives_mechanism incident Internship interoperability issues-management mempool michelson mockup Monitoring Needs review ocaml-stdlib p2p performance pipelining priority::low privacy protocol protocol-environment release Release Management Crew research rpc safer-impl sapling sdk-frontend shell signer specification state::blocked state::in-progress state::in-review state::paused state::ready-to-merge state::to-do storage tenderbake tests tests::testnet Tooling type::meta UX validation verif-activity workers

tezos/tziptezos/tzip

Dispatchers:   @arvidnlarvidnl @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (from project owners)
Merge‑teamers:   @arvidnlarvidnl @jgonlabsjgonlabs @klakplokklakplok @murbardmurbard @OanaLPOanaLP @pirbopirbo @smondetsmondet @tmcgilchristtmcgilchrist (copied from dispatchers)
Issue watchers:  No one (no one)
Labels:  Doing FA1.2 FA2 In Progress Metadata-16 To Do