Code

[Spec] update specs of voting.move#8557

Code

Merged

junkil-park merged 13 commits intoaptos-labs:mainaptos-labs/aptos-core:mainfrom movebit:spec_update_votingmovebit/aptos-core:spec_update_votingCopy head branch name to clipboardJun 15, 2023

+70-27

Commits

Commits on Jun 7, 2023

• init

  UIZorrot

  committed
  c8cf835

• Merge branch 'aptos-labs:main' into spec_update_voting

  UIZorrot

  authored
  82a1988

Commits on Jun 8, 2023

• fix lint

  UIZorrot

  committed
  aa33321

• Merge branch 'spec_update_voting' of https://github.com/movebit/aptos-core into spec_update_voting

  UIZorrot

  committed
  9021fe3

Commits on Jun 12, 2023

• fix linter

  UIZorrot

  committed
  39fb211

• fix trimspace

  UIZorrot

  committed
  5e0ab04

• fix comment

  UIZorrot

  committed
  fbbb2c2

Commits on Jun 13, 2023

• Merge branch 'main' into spec_update_voting

  UIZorrot

  authored
  de1522a

Commits on Jun 14, 2023

• Merge branch 'main' into spec_update_voting

  UIZorrot

  authored
  bd1e457

Commits on Jun 15, 2023

• Merge branch 'spec_update_voting' of https://github.com/movebit/aptos-core into spec_update_voting

  UIZorrot

  committed
  9adcf37

• Merge branch 'main' into spec_update_voting

  UIZorrot

  authored
  fab91cd

• Merge branch 'spec_update_voting' of https://github.com/movebit/aptos-core into spec_update_voting

  UIZorrot

  committed
  d2c4c68

• fix md

  UIZorrot

  committed
  5c7f814