nomadic-labs/tezos#645 nomadic-labs/tezos#645 type::bug
protocol
|
Solve issue
|
bsall is assigned |
nomadic-labs/tezos#596 nomadic-labs/tezos#596 priority::medium
protocol
state::to-do
tenderbake
|
Complete task
|
bsall is assigned |
nomadic-labs/tezos#473 nomadic-labs/tezos#473 formal-consistency
protocol
state::in-progress
verif-activity
|
Complete task
|
bsall is assigned |
nomadic-labs/tezos#392 nomadic-labs/tezos#392 formal-consistency
state::to-do
verif-activity
|
Solve issue
|
bsall is assigned |
nomadic-labs/tezos#403 nomadic-labs/tezos#403 safer-impl
state::in-progress
verif-activity
|
Solve issue
|
bsall is assigned |
nomadic-labs/tezos#585 nomadic-labs/tezos#585 feature-verif
state::to-do
verif-activity
|
Solve issue
|
bsall is assigned |
nomadic-labs/tezos#612 nomadic-labs/tezos#612 protocol
safer-impl
verif-activity
|
Solve issue
|
bsall is assigned |
nomadic-labs/tezos#637 nomadic-labs/tezos#637 Code quality 🌞
protocol
|
Solve issue
|
bsall is assigned |
nomadic-labs/tezos#639 nomadic-labs/tezos#639 Code quality 🌞
protocol
|
Solve issue
|
bsall is assigned |
nomadic-labs/tezos#640 nomadic-labs/tezos#640 protocol
|
Solve issue
|
bsall is assigned |