Updated on 2022-06-10 10:15:38 UTC
refreshed every 30 minutes
refreshed every 30 minutes
Charles Nguyen's actions
on nomadic-labs/mi-cho-coq
(13)
| 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 | nguyencharles.nlabs is a dispatcher |
| nomadic-labs/mi-cho-coq!57 Integrate the output of coq-of-ocaml with the interpreter coq-of-ocaml 🐓 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
| nomadic-labs/mi-cho-coq!59 Add specialized multisig source doc smart-contract verification | Help add merge-team reviewers | nguyencharles.nlabs 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 | nguyencharles.nlabs is a dispatcher |
| nomadic-labs/mi-cho-coq!70 Certification of the specialised multisig smart-contract verification | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
| nomadic-labs/mi-cho-coq!71 Dexter verification smart-contract verification | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
| nomadic-labs/mi-cho-coq!98 Dexter 1.1 verification | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
| nomadic-labs/mi-cho-coq!113 Replace String.string_dec by String.eqb in Dexter 2 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
| nomadic-labs/mi-cho-coq!137 FA1.2 verification v2 formalisation | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
| nomadic-labs/mi-cho-coq!149 Kristina@ctez | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
| nomadic-labs/mi-cho-coq!151 Fix #66 and #67 bug test | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
| nomadic-labs/mi-cho-coq!152 [README] fix broken link to Michelson spec | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
| nomadic-labs/mi-cho-coq!155 Adding support for 8.14 | Help add merge-team reviewers | nguyencharles.nlabs is a dispatcher |
Repositories
Mnomadic-labs/mi-cho-coq
Dispatchers:
 davdumas
 jgonlabs
 klakplok
 MBourgoin
nguyencharles.nlabs
 OanaLP
 onurb
 pirbo
 raphael-proust
 romain.nl
 SamREye
 vbotbol
(from project owners)
Merge‑teamers:
davdumas
jgonlabs
klakplok
MBourgoin
nguyencharles.nlabs
OanaLP
onurb
pirbo
raphael-proust
romain.nl
SamREye
vbotbol
(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
|