Commits

Branch selector

 main

User selector

junkil-park

Datepicker

All time

Commit History

Commits on Dec 1, 2022

• [Spec] Completed the spec of from_bcs, any, copyable_any and type_info (aptos-labs#5712)

  Show description for 0c21d91
  junkil-park

  authored
  0c21d91

  Copy full SHA for 0c21d91

Commits on Nov 22, 2022

• [Spec] Added the spec of pool_u64 (aptos-labs#5618)

  Show description for 2ba008c
  junkil-park

  authored
  2ba008c

  Copy full SHA for 2ba008c

Commits on Nov 7, 2022

• [Spec] Added the specs of simple_map, table_with_length, string and hash (aptos-labs#5408)

  Show description for 0f71594
  junkil-park

  authored
  0f71594

  Copy full SHA for 0f71594

Commits on Nov 1, 2022

• [move] Update the move commit and the generated document (aptos-labs#5380)

  Show description for c8facce
  junkil-park

  authored
  c8facce

  Copy full SHA for c8facce

Commits on Oct 28, 2022

• [Spec] Specs for math64, math128 and type_info (aptos-labs#5341)

  Show description for 40ffbdf
  junkil-park

  authored
  40ffbdf

  Copy full SHA for 40ffbdf

Commits on Oct 26, 2022

• Update CODEOWNERS

  Show description for 60b8814
  

  junkil-park

  authored and

  movekevin

  committed
  60b8814

  Copy full SHA for 60b8814

Commits on Oct 6, 2022

• Update move_prover_tests.rs (aptos-labs#4814)

  Show description for f492350
  junkil-park

  authored
  f492350

  Copy full SHA for f492350

Commits on Sep 30, 2022

• [Prover] fix the spec of bit_vector::unset

  Show description for 2bb83cd
  

  junkil-park

  authored and

  davidiw

  committed
  2bb83cd

  Copy full SHA for 2bb83cd

Commits on Sep 29, 2022

• Fixed the spec in the stake module (aptos-labs#4656)

  Show description for f741b8e
  junkil-park

  authored
  f741b8e

  Copy full SHA for f741b8e

Commits on Sep 23, 2022

• Proved the storage_gas module (aptos-labs#4452)

  Show description for 7058779
  junkil-park

  authored
  7058779

  Copy full SHA for 7058779

Commits on Sep 22, 2022

• Limit the upper bound of rewards_rate (aptos-labs#4185)

  Show description for 221bc7b
  junkil-park

  authored
  221bc7b

  Copy full SHA for 221bc7b

Commits on Sep 21, 2022

• Update prover-test.yaml (aptos-labs#4386)

  Show description for 1279411
  junkil-park

  authored
  1279411

  Copy full SHA for 1279411

Commits on Sep 17, 2022

• Fixed the Prover failure in CI (aptos-labs#4295)

  Show description for b597c7f
  junkil-park

  authored
  b597c7f

  Copy full SHA for b597c7f

Commits on Sep 16, 2022

• Fix the failure of Prover in CI (aptos-labs#4251)

  Show description for 9b60dd4
  junkil-park

  authored
  9b60dd4

  Copy full SHA for 9b60dd4

Commits on Sep 15, 2022

• Proved that block::block_prologue never abort unexpectedly (aptos-labs#4183)

  Show description for 1d5e4f7
  junkil-park

  authored
  1d5e4f7

  Copy full SHA for 1d5e4f7

• Turned the recursive pow functions into iterative ones (aptos-labs#4229)

  Show description for 5c6b799
  junkil-park

  authored
  5c6b799

  Copy full SHA for 5c6b799

• Update your-first-nft.md

  Show description for 5913397
  

  junkil-park

  authored and

  davidiw

  committed
  5913397

  Copy full SHA for 5913397

Commits on Sep 14, 2022

• Update your-first-nft.md (aptos-labs#4201)

  Show description for 28e8fcf
  junkil-park

  authored
  28e8fcf

  Copy full SHA for 28e8fcf

Commits on Sep 13, 2022

• Add specs to stake.move (aptos-labs#3661)

  Show description for ea15427
  junkil-park

  authored
  ea15427

  Copy full SHA for ea15427

Commits on Sep 3, 2022

• Added the chain_status module (aptos-labs#3557)

  Show description for 1b8c0b9
  junkil-park

  authored
  1b8c0b9

  Copy full SHA for 1b8c0b9

Commits on Aug 27, 2022

• Added the prover-test workflow for CI (aptos-labs#3474)

  Show description for 563e2ab
  junkil-park

  authored
  563e2ab

  Copy full SHA for 563e2ab

Commits on Aug 25, 2022

• Fixed the broken script (aptos-labs#3457)

  Show description for 0669d87
  junkil-park

  authored
  0669d87

  Copy full SHA for 0669d87

• [Move Prover] dependency installation description (aptos-labs#3461)

  Show description for fede195
  junkil-park

  authored
  fede195

  Copy full SHA for fede195

Commits on Aug 22, 2022

• Added the missing spec files (aptos-labs#3305)

  Show description for 12fc3bf
  junkil-park

  authored
  12fc3bf

  Copy full SHA for 12fc3bf

• Support the custom boogie file (aptos-labs#3206)

  Show description for 183d105
  junkil-park

  authored
  183d105

  Copy full SHA for 183d105

Commits on Aug 16, 2022

• Removed the key-ability for the capabilities of coin

  Show description for c616db2
  

  junkil-park

  authored and

  gregnazario

  committed
  c616db2

  Copy full SHA for c616db2

Commits on Aug 15, 2022

• [Stake] Resetting total_voting_power on every epoch (aptos-labs#2956)

  Show description for 3e553f8
  junkil-park

  authored
  3e553f8

  Copy full SHA for 3e553f8

Commits on Aug 11, 2022

• Rearranged the rewards formula in the stake module (aptos-labs#2722)

  Show description for f2bd9ec
  junkil-park

  authored
  f2bd9ec

  Copy full SHA for f2bd9ec

Commits on Aug 6, 2022

• [Move Prover] Separated the specs from code (aptos-labs#2441)

  Show description for 7c28baa
  junkil-park

  authored
  7c28baa

  Copy full SHA for 7c28baa

Commits on Aug 3, 2022

• Ignore the example Prover test (aptos-labs#2494)

  Show description for c9b2c83
  junkil-park

  authored
  c9b2c83

  Copy full SHA for c9b2c83

Commits on Jul 28, 2022

• Update action.yaml (aptos-labs#2217)

  Show description for 02c1d40
  junkil-park

  authored
  02c1d40

  Copy full SHA for 02c1d40

Commits on Jul 27, 2022

• Update README.md

  Show description for 4cccad8
  

  junkil-park

  authored and

  davidiw

  committed
  4cccad8

  Copy full SHA for 4cccad8

Commits on Jul 24, 2022

• [Aptos Framework][Prover] Made the Aptos Framework compatible with Prover (aptos-labs#2162)

  Show description for 3ed9bb2
  junkil-park

  authored
  3ed9bb2

  Copy full SHA for 3ed9bb2

Commits on Jul 21, 2022

• Update use-aptos-cli.md (aptos-labs#2117)

  Show description for 6b59db1
  junkil-park

  authored
  6b59db1

  Copy full SHA for 6b59db1

Commits on Jul 20, 2022

• [Aptos CLI][Move Prover] Add the subcommand to run Move Prover in Aptos CLI (aptos-labs#2086)

  Show description for 04a17ed
  junkil-park

  authored
  04a17ed

  Copy full SHA for 04a17ed

Pagination

Previous

Next