[Spec] Added spec of `Vesting` & `staking_contract` module (#6629) · virginonline/aptos-core@7540b48 · GitHub

Commit

[Spec] Added spec of Vesting & staking_contract module (aptos-lab…

Browse files

…s#6629)

* [Spec] Added spec for vesting & staking_contract

* [spec] edit the timeout of `staking_contract_amounts()`

* [spec]Removed unnecessary line from vesting

* update vesting.md

* [Spec] add some TODO for vesting.spec.move.

---------

Co-authored-by: tiutiutiu <[email protected]>
Co-authored-by: tiutiutiu <[email protected]>

Loading branch information

3 people authored Feb 18, 2023

1 parent f05e101 commit 7540b48

0 comments on commit `7540b48`

Please sign in to comment.