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

@onurbBruno B's actions on nomadic-labs/mi-cho-coq (17)

Resource Action Why
nomadic-labs/mi-cho-coq!118
Arvid@dexter lemmas and refactorings
Blocking nomadic-labs/mi-cho-coq!100 		Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq#20
Verify the dexter contract
Doing smart-contract verification 		Solve issue onurb is assigned
nomadic-labs/mi-cho-coq#22
nomadic-labs/mi-cho-coq#22
Done smart-contract verification 		Solve issue onurb is assigned
nomadic-labs/mi-cho-coq!57
Integrate the output of coq-of-ocaml with the interpreter
coq-of-ocaml 🐓 		Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!59
Add specialized multisig source
doc smart-contract verification 		Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!62
Functional proof of guestbook contract and simple lifetime property
smart-contract verification 		Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!70
Certification of the specialised multisig
smart-contract verification 		Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!71
Dexter verification
smart-contract verification 		Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!98
Dexter 1.1 verification 		Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!113
Replace String.string_dec by String.eqb in Dexter 2 		Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!137
FA1.2 verification v2
formalisation 		Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!149
Kristina@ctez 		Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!151
Fix #66 and #67
bug test 		Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!152
[README] fix broken link to Michelson spec 		Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq!155
Adding support for 8.14 		Help add merge-team reviewers onurb is a dispatcher
nomadic-labs/mi-cho-coq#61
Move big proofs in a separate repo 		Solve issue onurb opened issue and no one is assigned
nomadic-labs/mi-cho-coq!6
WIP: Documentation of the proof of the multisig contract
doc smart-contract verification 		Close or reply to thread onurb is the thread 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