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/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/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 |