Resource | Action | Why |
---|---|---|
nomadic-labs/mi-cho-coq!70 Certification of the specialised multisig smart-contract verification | Close or reply to thread | rafoo_ is the thread author |
Add a merge-team reviewer | rafoo_ is the original author | |
nomadic-labs/mi-cho-coq!62 Functional proof of guestbook contract and simple lifetime property smart-contract verification | Close or reply to thread | rafoo_ is the thread author |
nomadic-labs/mi-cho-coq!59 Add specialized multisig source doc smart-contract verification | Close or reply to thread | rafoo_ is the thread author |
Reply to thread | rafoo_ pushed recently | |
Add a merge-team reviewer | rafoo_ pushed recently | |
nomadic-labs/mi-cho-coq!98 Dexter 1.1 verification | Fix CI | rafoo_ is the original author and triggered last pipeline |
Add a merge-team reviewer | rafoo_ is the original author | |
nomadic-labs/mi-cho-coq!137 FA1.2 verification v2 formalisation | Fix CI | rafoo_ pushed recently and triggered last pipeline |
Add a merge-team reviewer | rafoo_ pushed recently | |
nomadic-labs/mi-cho-coq!151 Fix #66 and #67 bug test | Add a merge-team reviewer | rafoo_ is the original author |
nomadic-labs/mi-cho-coq#37 Simplification of the formula produced by eval_precond for `COMPARE; EQ` smart-contract verification Todo | Complete task | rafoo_ is assigned |
nomadic-labs/mi-cho-coq#20 Verify the dexter contract Doing smart-contract verification | Solve issue | rafoo_ is assigned |
nomadic-labs/mi-cho-coq#25 TZT support Doing test | Solve issue | rafoo_ is assigned |
nomadic-labs/mi-cho-coq#30 Delay monad formalisation Todo | Solve issue | rafoo_ is assigned |
nomadic-labs/mi-cho-coq#38 Support type assertions using `CAST` formalisation Todo | Solve issue | rafoo_ is assigned |
nomadic-labs/mi-cho-coq#39 Simplify the optimizer proof optimizer Todo | Solve issue | rafoo_ is assigned |
nomadic-labs/mi-cho-coq#58 Simplify usage of set and map modules framework | Solve issue | rafoo_ is assigned |
nomadic-labs/mi-cho-coq#63 Bug regarding lambdas as part of data bug framework | Solve issue | rafoo_ is assigned |
nomadic-labs/mi-cho-coq#66 The typing rule for comb UPDATE is wrong bug | Solve issue | rafoo_ is assigned |
nomadic-labs/mi-cho-coq#62 Follow-up from "[README] add a description for the vesting contract" | Complete task | rafoo_ opened issue and no one is assigned |
nomadic-labs/mi-cho-coq#29 Formalize big maps beginner formalisation Todo | Solve issue | rafoo_ opened issue and no one is assigned |
nomadic-labs/mi-cho-coq#32 nomadic-labs/mi-cho-coq#32 optimizer Todo | Solve issue | rafoo_ opened issue and no one is assigned |
nomadic-labs/mi-cho-coq#43 nomadic-labs/mi-cho-coq#43 doc | Solve issue | rafoo_ opened issue and no one is assigned |
nomadic-labs/mi-cho-coq#59 Formalize serialization (PACK and UNPACK) | Solve issue | rafoo_ opened issue and no one is assigned |
nomadic-labs/mi-cho-coq#60 Concert integration | Solve issue | rafoo_ opened issue and no one is assigned |
nomadic-labs/mi-cho-coq#67 Numbers should be allowed as input syntax for BLS12-381 field elements. bug | Solve issue | rafoo_ opened issue and no one is assigned |
nomadic-labs/mi-cho-coq#68 Representation of BLS12-381 | Solve issue | rafoo_ 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 | Reply to thread | rafoo_ is the original author |
Reply to thread | rafoo_ is the original author | |
Reply to thread | rafoo_ is the original author | |
Reply to thread | rafoo_ is the original author | |
Reply to thread | rafoo_ is the original author | |
UnWIP | rafoo_ is the original author | |
nomadic-labs/mi-cho-coq!143 WIP: typeclass for comparability framework | Fix CI | rafoo_ is the original author and triggered last pipeline |
UnWIP | rafoo_ is the original author | |
nomadic-labs/mi-cho-coq!119 Draft: [ci] add cache opam directory ci | Close or reply to thread | rafoo_ is the thread author |
nomadic-labs/mi-cho-coq!67 WIP: Tzt support Doing formalisation test | Fix CI | rafoo_ is the original author and triggered last pipeline |
Complete task | rafoo_ is the original author | |
UnWIP | rafoo_ is the original author | |
nomadic-labs/mi-cho-coq!28 WIP: Model crypto nonces generated when operations are forged formalisation | UnWIP | rafoo_ is the original author |
nomadic-labs/mi-cho-coq!144 Draft: michelson2micheline (micheline2michelson x) = Return x framework | UnWIP | rafoo_ is the original author |
nomadic-labs/mi-cho-coq!148 Draft: [michocoq] use instruction instead of instruction_seq for the code part of scripts | UnWIP | rafoo_ is the original author |
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
|