Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Spec] update spec for vesting.move #9115

Merged
merged 26 commits into from
Aug 20, 2023
Merged

[Spec] update spec for vesting.move #9115

Show file tree
Hide file tree
Changes from 24 commits
Commits
Show all changes
26 commits
Select commit Hold shift + click to select a range
806b0b9
new vesting
chan-bing Jun 20, 2023
3ad56ea
new vesting
chan-bing Jun 25, 2023
cceb7e7
Merge branch 'aptos-labs:main' into spec_update_vesting
UIZorrot Jul 17, 2023
35467a1
init
UIZorrot Jul 17, 2023
1cd4af6
fix comment
UIZorrot Jul 20, 2023
69b07f5
fix md
UIZorrot Jul 20, 2023
87f288b
Merge branch 'main' into spec_update_vesting
UIZorrot Jul 21, 2023
f289ede
add comment
UIZorrot Jul 21, 2023
c1fa01c
Merge branch 'spec_update_vesting' of https://github.com/movebit/apto…
UIZorrot Jul 21, 2023
813a4bb
Merge branch 'main' into spec_update_vesting
UIZorrot Jul 21, 2023
a22728d
Merge branch 'main' into spec_update_vesting
UIZorrot Jul 21, 2023
22977e3
add head
UIZorrot Jul 21, 2023
cf1cd1f
Merge branch 'spec_update_vesting' of https://github.com/movebit/apto…
UIZorrot Jul 21, 2023
a58a2db
Merge branch 'spec_update_vesting' of https://github.com/movebit/apto…
UIZorrot Jul 24, 2023
efbf0ad
Merge branch 'spec_update_vesting' of https://github.com/movebit/apto…
UIZorrot Jul 28, 2023
f8568af
add func total_accumulated_rewards time
chan-bing Jul 29, 2023
d3fce95
rm boogie
chan-bing Jul 29, 2023
1dcd307
Merge branch 'spec_update_vesting' of https://github.com/movebit/apto…
UIZorrot Jul 29, 2023
c6e2526
fixed timeout
UIZorrot Jul 29, 2023
84aa01b
close timeout function's verification
chan-bing Aug 4, 2023
9374830
Merge branch 'main' into spec_update_vesting
UIZorrot Aug 7, 2023
6526074
Merge branch 'main' into spec_update_vesting
UIZorrot Aug 9, 2023
b4cbf5d
Merge branch 'spec_update_vesting' of https://github.com/movebit/apto…
UIZorrot Aug 9, 2023
042cbd3
rust lint fix
UIZorrot Aug 9, 2023
7f2ce32
del head
UIZorrot Aug 11, 2023
41af022
Merge branch 'main' into spec_update_vesting
UIZorrot Aug 16, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Loading