Commits

Branch selector

 main

User selector

junkil-park

Datepicker

All time

Commit History

Commits on Aug 28, 2023

• [stake] allow updating commission percentage in the vesting module (aptos-labs#9719)

  Show description for ed44df2
  junkil-park

  authored
  ed44df2

  Copy full SHA for ed44df2

Commits on Aug 25, 2023

• [Prover] Upgraded Boogie and adopted the new datatype syntax (aptos-labs#9180)

  Show description for a18b80e
  junkil-park

  authored
  a18b80e

  Copy full SHA for a18b80e

Commits on Aug 16, 2023

• Fixed signer to be formatted properly (aptos-labs#8866)

  Show description for 46195a5
  junkil-park

  authored
  46195a5

  Copy full SHA for 46195a5

Commits on Aug 8, 2023

• [Prover] Revive the Prover lab (aptos-labs#9518)

  Show description for 62668cd
  junkil-park

  authored
  62668cd

  Copy full SHA for 62668cd

Commits on Aug 5, 2023

• [TS] Updated the gas fee payer example to adopt the new API (aptos-labs#9499)

  Show description for 26ec3c5
  junkil-park

  authored
  26ec3c5

  Copy full SHA for 26ec3c5

Commits on Aug 2, 2023

• [TS] Added a typescript example for the gas fee payer (aptos-labs#9357)

  Show description for 750a172
  junkil-park

  authored
  750a172

  Copy full SHA for 750a172

Commits on Jul 28, 2023

• [Example] Added Guild/Member token (aptos-labs#9172)

  junkil-park

  authored
  b422401

  Copy full SHA for b422401

Commits on Jul 20, 2023

• Fixed a typo in the Readme.md of Aptos Debugger (aptos-labs#9190)

  junkil-park

  authored
  1938125

  Copy full SHA for 1938125

Commits on Jul 16, 2023

• [Prover] tested the loop unrolling feature using the basic vector operations (aptos-labs#8547)

  Show description for 6bb9e69
  junkil-park

  authored
  6bb9e69

  Copy full SHA for 6bb9e69

Commits on Jul 14, 2023

• [aptos-debugger] Added the bcs-txn-decoder (aptos-labs#9087)

  Show description for 07df1ad
  junkil-park

  authored
  07df1ad

  Copy full SHA for 07df1ad

Commits on Jul 5, 2023

• [Spec] add spec to the math modules (aptos-labs#8915)

  Show description for 3d281ad
  junkil-park

  authored
  3d281ad

  Copy full SHA for 3d281ad

Commits on Jun 28, 2023

• [Spec] Made the spec of smart_table intrinsic (aptos-labs#8882)

  Show description for dd0e241
  junkil-park

  authored
  dd0e241

  Copy full SHA for dd0e241

Commits on Jun 27, 2023

• [Spec] Specified the aptos_std modules (aptos-labs#8857)

  Show description for d16f676
  junkil-park

  authored
  d16f676

  Copy full SHA for d16f676

Commits on Jun 23, 2023

• [TS] Added a typescript example for the knight token (aptos-labs#8721)

  junkil-park

  authored
  fc82124

  Copy full SHA for fc82124

Commits on Jun 14, 2023

• Added the Knight token object example (aptos-labs#8489)

  Show description for 21ac8bf
  junkil-park

  authored
  21ac8bf

  Copy full SHA for 21ac8bf

Commits on Jun 1, 2023

• Added a typescript client for the Ambassador token example (aptos-labs#8200)

  junkil-park

  authored
  1c84db6

  Copy full SHA for 1c84db6

Commits on May 20, 2023

• [Spec] Added more spec to big_vector (aptos-labs#8199)

  Show description for b1ec927
  junkil-park

  authored
  b1ec927

  Copy full SHA for b1ec927

Commits on May 19, 2023

• Update FRAMEWORK-PROVER-GUIDE.md (aptos-labs#8285)

  Show description for f0efa11
  junkil-park

  authored
  f0efa11

  Copy full SHA for f0efa11

Commits on May 2, 2023

• Added ambassador module (aptos-labs#7834)

  Show description for 7a12113
  junkil-park

  authored
  7a12113

  Copy full SHA for 7a12113

Commits on Apr 19, 2023

• Added Move Prover supporting resources (aptos-labs#7851)

  junkil-park

  authored
  3da8725

  Copy full SHA for 3da8725

Commits on Apr 18, 2023

• [Doc] Migrate and update the Prover documentation (aptos-labs#7662)

  Show description for 8b05135
  

  4 peopleauthored
  8b05135

  Copy full SHA for 8b05135

Commits on Apr 13, 2023

• aptos_token::authorized_borrow (aptos-labs#7640)

  junkil-park

  authored
  b716d5a

  Copy full SHA for b716d5a

• [Prover] Added a nested loop invariant example (aptos-labs#961)

  Show description for 0403727
  

  junkil-park

  authored and

  wrwg

  committed
  0403727

  Copy full SHA for 0403727

Commits on Apr 5, 2023

• Correct an error code in aptos_token.move (aptos-labs#7592)

  Show description for 17ada04
  junkil-park

  authored
  17ada04

  Copy full SHA for 17ada04

Commits on Mar 29, 2023

• Add graphviz to dev_setup.sh (aptos-labs#7237)

  Show description for df52a96
  junkil-park

  authored
  df52a96

  Copy full SHA for df52a96

Commits on Mar 27, 2023

• Update in-korean.md (aptos-labs#7397)

  Show description for 2bddca2
  junkil-park

  authored
  2bddca2

  Copy full SHA for 2bddca2

Commits on Mar 25, 2023

• [Doc] Migrate the existing upgradability doc into the Move Book (aptos-labs#7346)

  Show description for 5b30223
  

  junkil-park

  and

  clay-aptos

  authored
  5b30223

  Copy full SHA for 5b30223

Commits on Mar 17, 2023

• [Spec] Fixed the broken spec due to the recently added crypto module (aptos-labs#7238)

  Show description for fb61e4a
  junkil-park

  authored
  fb61e4a

  Copy full SHA for fb61e4a

Commits on Mar 15, 2023

• [Spec] Fix the broken spec regarding vector and simple_map (aptos-labs#7184)

  junkil-park

  authored
  c9f9698

  Copy full SHA for c9f9698

Commits on Mar 10, 2023

• [Spec] Added the spec for aptos_std::pool_u64_unbound (aptos-labs#7033)

  Show description for 354ed8b
  junkil-park

  authored
  354ed8b

  Copy full SHA for 354ed8b

Commits on Mar 3, 2023

• [Prover] Natively modeled object::exists_at (aptos-labs#6777)

  Show description for f9b75b2
  junkil-park

  authored
  f9b75b2

  Copy full SHA for f9b75b2

• [Spec] Fix the broken spec (aptos-labs#6864)

  Show description for d4da08f
  junkil-park

  authored
  d4da08f

  Copy full SHA for d4da08f

Commits on Feb 22, 2023

• [spec] updated the specs of transaction_fee, coin and features (aptos-labs#6722)

  Show description for a503495
  junkil-park

  authored
  a503495

  Copy full SHA for a503495

Commits on Feb 17, 2023

• [Spec] Fix the broken spec (aptos-labs#6659)

  Show description for 74f6790
  junkil-park

  authored
  74f6790

  Copy full SHA for 74f6790

Commits on Feb 10, 2023

• Fix the indentation error in prover-test.yaml (aptos-labs#6553)

  junkil-park

  authored
  89f9db0

  Copy full SHA for 89f9db0

Pagination

Previous

Next