Commits

Branch selector

 main

User selector

UIZorrot

Datepicker

All time

Commit History

Commits on Dec 11, 2023

• [Spec] local specification of stake.move (aptos-labs#11149)

  Show description for b00c686
  UIZorrot

  authored
  b00c686

Commits on Dec 2, 2023

• [Spec] Local specification of account and coin module (aptos-labs#10924)

  Show description for 180a5fd
  UIZorrot

  authored
  180a5fd

Commits on Nov 29, 2023

• [Spec] Local specification of aptos_account, aptos_coin, aptos_governance (aptos-labs#11048)

  Show description for a9389d2
  UIZorrot

  authored
  a9389d2

Commits on Nov 23, 2023

• [Spec]Local Spec of config (aptos-labs#10760)

  Show description for 5d3574b
  UIZorrot

  authored
  5d3574b

Commits on Oct 19, 2023

• [Spec] Ensures for staking_contract (aptos-labs#9701)

  Show description for 7805954
  

  UIZorrot

  and

  chan-bing

  authored
  7805954

• [Spec] Ensures of staking_proxy (aptos-labs#10136)

  Show description for 21eed25
  

  UIZorrot

  and

  chan-bing

  authored
  21eed25

• [Spec] Ensures of object.move (aptos-labs#9991)

  Show description for b53c403
  

  UIZorrot

  and

  chan-bing

  authored
  b53c403

Commits on Sep 25, 2023

• [Spec] Ensures for stake.move (aptos-labs#9700)

  Show description for e8cac89
  

  UIZorrot

  and

  chan-bing

  authored
  e8cac89

Commits on Aug 22, 2023

• [Spec] Ensures for voting (aptos-labs#9462)

  Show description for c84d1e2
  

  UIZorrot

  and

  chan-bing

  authored
  c84d1e2

Commits on Aug 20, 2023

• [Spec] update spec for vesting.move (aptos-labs#9115)

  Show description for 774b43d
  

  UIZorrot

  and

  chan-bing

  authored
  774b43d

Commits on Aug 15, 2023

• [Spec] Ensures of transaction_fee (aptos-labs#9460)

  Show description for cdb1f27
  

  UIZorrot

  and

  chan-bing

  authored
  cdb1f27

• [Spec] Ensures of resources.move (aptos-labs#9382)

  Show description for 167916b
  UIZorrot

  authored
  167916b

Commits on Aug 11, 2023

• [Spec] Ensures of reconfiguration.move (aptos-labs#9383)

  Show description for e450718
  

  UIZorrot

  and

  chan-bing

  authored
  e450718

Commits on Aug 10, 2023

• [Spec] Ensures of transaction_validation (aptos-labs#9461)

  Show description for 366836f
  

  UIZorrot

  and

  chan-bing

  authored
  366836f

Commits on Aug 4, 2023

• [Spec] update specs of object (aptos-labs#8559)

  Show description for 1fc08b1
  UIZorrot

  authored
  1fc08b1

Commits on Jul 28, 2023

• [Spec] Ensures of account.move (aptos-labs#8929)

  Show description for 6faca50
  UIZorrot

  authored
  6faca50

Commits on Jul 25, 2023

• [Spec] update spec for staking_contract.move (aptos-labs#8729)

  Show description for d45f356
  

  UIZorrot

  and

  chan-bing

  authored
  d45f356

Commits on Jul 20, 2023

• [Spec] Update spec of code.move (aptos-labs#8888)

  Show description for b44042f
  UIZorrot

  authored
  b44042f

Commits on Jun 28, 2023

• [Spec] update specs of resource_account (aptos-labs#8639)

  Show description for 0030e8b
  UIZorrot

  authored
  0030e8b

Commits on Jun 24, 2023

• [Spec] update spec for managed_coin.move (aptos-labs#8767)

  UIZorrot

  authored
  03ebccf

Commits on Jun 16, 2023

• [Spec] update specs of aptos_governance (aptos-labs#8657)

  Show description for fa01eb0
  

  UIZorrot

  and

  chan-bing

  authored
  fa01eb0

Commits on Jun 15, 2023

• [Spec] update specs of voting.move (aptos-labs#8557)

  Show description for 695bbac
  UIZorrot

  authored
  695bbac

Commits on Jun 12, 2023

• Spec aptos account (aptos-labs#8364)

  Show description for b5f5f52
  

  7 peopleauthored
  b5f5f52