Resource | Action | Why |
---|---|---|
tezos/tezos!5194 Draft: Proto: add a fixpoint instruction michelson ⚗ proto | Close or reply to thread | tomjack is the thread author |
nomadic-labs/mi-cho-coq#51 Verify Dexter 2 (Dexter/FA1.2LQT, Dexter 1.5) smart-contract verification | Complete task | tomjack is assigned |
tezos/tzip!117 Draft: Dh@table of constants | Close or reply to thread | tomjack is the thread author |
Close or reply to thread | tomjack is the thread author | |
Close or reply to thread | tomjack is the thread author | |
metastatedev/tezos!61 WIP: Dynamic typing Protocol Smart Contract | Close or reply to thread | tomjack is the thread author |