Resource | Action | Why |
---|---|---|
tezos/tezos!5194 Draft: Proto: add a fixpoint instruction michelson ⚗ proto | Close or reply to thread | colin.g is the thread author |
Reply to thread | colin.g is the original author | |
Reply to thread | colin.g is the original author | |
Reply to thread | colin.g is the original author | |
Reply to thread | colin.g is the original author | |
Reply to thread | colin.g is the original author | |
UnWIP | colin.g is the original author | |
nomadic-labs/mi-cho-coq!71 Dexter verification smart-contract verification | Add a merge-team reviewer | colin.g pushed recently |
nomadic-labs/mi-cho-coq#51 Verify Dexter 2 (Dexter/FA1.2LQT, Dexter 1.5) smart-contract verification | Complete task | colin.g is assigned |