Updated on 2022-06-10 10:15:38 UTC
refreshed every 30 minutes
refreshed every 30 minutes
Arvid Jakobsson's actions
on nomadic-labs/mi-cho-coq
(27)
| Resource | Action | Why |
|---|---|---|
| nomadic-labs/mi-cho-coq!118 Arvid@dexter lemmas and refactorings Blocking nomadic-labs/mi-cho-coq!100 | Reply to thread | arvidnl is the original author |
| Add a merge-team reviewer | arvidnl is the original author | |
| nomadic-labs/mi-cho-coq#47 Verify Dexter/CPMM smart-contract verification Blocking nomadic-labs/mi-cho-coq#56 | Solve issue | arvidnl is assigned |
| nomadic-labs/mi-cho-coq!98 Dexter 1.1 verification | Close or reply to thread | arvidnl is the thread author |
| nomadic-labs/mi-cho-coq!62 Functional proof of guestbook contract and simple lifetime property smart-contract verification | Reply to thread | arvidnl is the original author |
| Add a merge-team reviewer | arvidnl is the original author | |
| nomadic-labs/mi-cho-coq!100 Dexter 2 verification (Dexter/FA1.2LQT, Dexter 1.5) dexter2 smart-contract verification Blocked by nomadic-labs/mi-cho-coq!118 | Unblock | arvidnl is the original author |
| nomadic-labs/mi-cho-coq!71 Dexter verification smart-contract verification | Add a merge-team reviewer | arvidnl pushed recently |
| nomadic-labs/mi-cho-coq#51 Verify Dexter 2 (Dexter/FA1.2LQT, Dexter 1.5) smart-contract verification | Complete task | arvidnl is assigned |
| nomadic-labs/mi-cho-coq#2 nomadic-labs/mi-cho-coq#2 Todo | Solve issue | arvidnl is assigned |
| nomadic-labs/mi-cho-coq#20 Verify the dexter contract Doing smart-contract verification | Solve issue | arvidnl is assigned |
| nomadic-labs/mi-cho-coq#40 Formalize the FA1.2 specification and verify an implementation formalisation smart-contract verification | Solve issue | arvidnl is assigned |
| nomadic-labs/mi-cho-coq#45 Formalize the FA2 specification and verify implementations formalisation smart-contract verification | Solve issue | arvidnl is assigned |
| nomadic-labs/mi-cho-coq#46 Specify and verify Dexter/FA2 formalisation smart-contract verification | Solve issue | arvidnl is assigned |
| nomadic-labs/mi-cho-coq#24 Modelize the blockchain and lifetime properties of contracts Doing | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/mi-cho-coq#41 More lemmas for smart contract verification | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/mi-cho-coq#48 Describe vesting contract in README when dev is merged into master | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/mi-cho-coq#50 Make the CI Great Again -- brainstorming on how to improve the current situation ci | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/mi-cho-coq#52 Make it easier to correlate smart contract verification developments with contract scripts | Solve issue | arvidnl opened issue and no one is assigned |
| nomadic-labs/mi-cho-coq!99 Draft: [dexter/fa2] add a hackish version of fa2 def/spec smart-contract verification | Fix CI | arvidnl is the original author and triggered last pipeline |
| UnWIP | arvidnl is the original author | |
| nomadic-labs/mi-cho-coq!124 Draft: Adapt Dexter2 proofs for CPMM2 dexter2 smart-contract verification | Complete task | arvidnl is the original author |
| UnWIP | arvidnl is the original author | |
| nomadic-labs/mi-cho-coq!121 Draft: Arvid@re organize contracts coq | Complete task | arvidnl is the original author |
| UnWIP | arvidnl is the original author | |
| nomadic-labs/mi-cho-coq!95 Draft: Dexter/CPMM verification smart-contract verification | UnWIP | arvidnl is the original author |
| nomadic-labs/mi-cho-coq!119 Draft: [ci] add cache opam directory ci | UnWIP | arvidnl is the original author |
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
|