[Spec] Delegation pool spec#23

Open

ghost wants to merge 11 commits intodevfrom

prover-delegation-pool

Commits on Jul 4, 2024

Don't verify committee_map
axiongsupra
committed
Add spec for initialization
axiongsupra
committed

Commits on Jul 9, 2024

Spec for create_resource_account_seed
axiongsupra
committed
Spec for `get_used_voting_power`
axiongsupra
committed
Spec for `pending_inactive_shares_pool`
axiongsupra
committed
Spec for `pending_inactive_shares_pool_mut`
axiongsupra
committed
Spec for `olc_with_index`
axiongsupra
committed
Spec for `amount_to_shares_to_redeem`
axiongsupra
committed

Commits on Jul 10, 2024

Make `create_resource_account_seed` spec opaque
axiongsupra
committed

Commits on Jul 19, 2024

Move the spec from normal delegation pool to pbo delegation pool
axiongsupra
committed

Commits on Oct 8, 2024

Merge branch 'dev' into prover-delegation-pool
Aric Xiong
authored