[Spec] update specs of voting, transaction_fee, code#8172

Merged

junkil-park merged 12 commits intoaptos-labs:mainfrom movebit:spec-update

Jun 14, 2023

+344-144

Commits on May 12, 2023

[spec] update specs of voting, transaction_fee, code
xudon9
committed

Commits on May 17, 2023

[spec] add account and voting module
UIZorrot
committed

Commits on May 18, 2023

Commits on May 24, 2023

Merge branch 'aptos-labs:main' into spec-update
UIZorrot
authored

Commits on May 25, 2023

Commits on Jun 12, 2023

Commits on Jun 13, 2023

Merge branch 'aptos-labs:main' into spec-update
xudon9
authored

Commits on Jun 14, 2023

Merge branch 'main' into spec-update
UIZorrot
authored