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

Everybody's actions on nomadic-labs/mi-cho-coq dexter2 (7)

Resource Action Who and why
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 @arvidnlarvidnl is the original author
nomadic-labs/mi-cho-coq#56
Adapt Dexter2 development for liquidity baking
dexter2 smart-contract verification
Blocked by nomadic-labs/mi-cho-coq#47
Unblock @yrgyrg is assigned
nomadic-labs/mi-cho-coq!103
WIP: Optimize Michelson lexical analysis
dexter2
Reply to thread @yrgyrg is the original author
Reply to thread @yrgyrg is the original author
UnWIP @yrgyrg is the original author
nomadic-labs/mi-cho-coq!124
Draft: Adapt Dexter2 proofs for CPMM2
dexter2 smart-contract verification
Complete task @arvidnlarvidnl is the original author
UnWIP @arvidnlarvidnl is the original author