Resource | Action | Why |
---|---|---|
tezos/tezos#2603 [Pipelining] S1: Explicit preconditions and effects for each exisiting operation Blocking tezos/tezos#2604 | Solve issue | ZaynahDargaye is assigned |
tezos/tezos#2604 [Pipelining] S2: Explicit preconditions and effects for a block application Blocking tezos/tezos#2938 Blocked by tezos/tezos#2603 | Unblock | ZaynahDargaye is assigned |
tezos/tezos#2188 tezos/tezos#2188 Code quality 🌟 proto | Solve issue | ZaynahDargaye is assigned |
tezos/tezos#2941 [Pipelining] S1'. Model the specification and compute interference between operations | Solve issue | ZaynahDargaye is assigned |
tezos/tezos!4935 Draft: Proto: move stake updating functions proto | Complete task | ZaynahDargaye is the original author |
UnWIP | ZaynahDargaye is the original author | |
nomadic-labs/mustard#5 nomadic-labs/mustard#5 | Complete task | ZaynahDargaye is assigned |
nomadic-labs/tezos#473 nomadic-labs/tezos#473 formal-consistency protocol state::in-progress verif-activity | Complete task | ZaynahDargaye is assigned |
nomadic-labs/tezos#404 nomadic-labs/tezos#404 formal-consistency state::in-progress verif-activity | Complete task | ZaynahDargaye is assigned |
nomadic-labs/mustard#6 Smart contract execution | Solve issue | ZaynahDargaye is assigned |
nomadic-labs/tezos#392 nomadic-labs/tezos#392 formal-consistency state::to-do verif-activity | Solve issue | ZaynahDargaye is assigned |
nomadic-labs/tezos#585 nomadic-labs/tezos#585 feature-verif state::to-do verif-activity | Solve issue | ZaynahDargaye is assigned |
nomadic-labs/tezos#612 nomadic-labs/tezos#612 protocol safer-impl verif-activity | Solve issue | ZaynahDargaye is assigned |
nomadic-labs/tezos#660 nomadic-labs/tezos#660 feature-verif safer-impl verif-activity | Solve issue | ZaynahDargaye is assigned |
nomadic-labs/mustard#4 Mustard for nl_doc | Complete task | ZaynahDargaye opened issue and no one is assigned |
nomadic-labs/tezos!510 nomadic-labs/tezos!510 pipelining | Act | ZaynahDargaye is assigned |
nomadic-labs/tezos!443 nomadic-labs/tezos!443 mempool specification state::in-progress | Reply to thread | ZaynahDargaye is the original author |
Reply to thread | ZaynahDargaye is the original author | |
Reply to thread | ZaynahDargaye is the original author | |
UnWIP | ZaynahDargaye is the original author |