Skip to content

Commit

Permalink
[Spec] update spec for vesting.move (#9115)
Browse files Browse the repository at this point in the history 
* new vesting

* new vesting

* init

* fix comment

* fix md

* add comment

* add head

* add func total_accumulated_rewards time

* rm boogie

* fixed timeout

* close timeout function's verification

* rust lint fix

* del head

---------

Co-authored-by: chan-bing <[email protected]>
  • Loading branch information
@UIZorrot @chan-bing
UIZorrot and chan-bing authored Aug 20, 2023
1 parent 1ab0c76 commit 774b43d
Show file tree
Hide file tree
Showing 2 changed files with 453 additions and 68 deletions.
Loading

0 comments on commit 774b43d

Please sign in to comment.