Commits

Branch selector

 main

User selector

junkil-park

Datepicker

All time

Commit History

Commits on Aug 6, 2022

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

  Show description for 7c28baa
  junkil-park

  authored
  7c28baa

Commits on Aug 3, 2022

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

  Show description for c9b2c83
  junkil-park

  authored
  c9b2c83

Commits on Jul 28, 2022

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

  Show description for 02c1d40
  junkil-park

  authored
  02c1d40

Commits on Jul 27, 2022

• Update README.md

  Show description for 4cccad8
  

  junkil-park

  authored and

  davidiw

  committed
  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

Commits on Jul 21, 2022

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

  Show description for 6b59db1
  junkil-park

  authored
  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

Commits on Jan 18, 2022

• Disable the daily test for Prover

  Show description for 5f8e8cc
  

  junkil-park

  authored and

  bors-libra

  committed
  5f8e8cc

Commits on Dec 23, 2021

• Added more Move examples

  Show description for 46bc24d
  

  junkil-park

  authored and

  bors-libra

  committed
  46bc24d

Commits on Dec 16, 2021

• Specified the epilogue functions of the DiemAccount module

  Show description for 916bae4
  

  junkil-park

  authored and

  bors-libra

  committed
  916bae4

Commits on Dec 12, 2021

• Added examples/experimental/math-puzzle

  Show description for 96261c5
  

  junkil-park

  authored and

  bors-libra

  committed
  96261c5

Commits on Dec 8, 2021

• Upgrade Z3 version

  Show description for aecab7e
  

  junkil-park

  authored and

  bors-libra

  committed
  aecab7e

Commits on Nov 30, 2021

• Added the experimental stdlib modules Role and ACL

  Show description for 06db815
  

  junkil-park

  authored and

  bors-libra

  committed
  06db815

• Revert the Z3 version

  Show description for 6ba9138
  

  junkil-park

  authored and

  bors-libra

  committed
  6ba9138

Commits on Nov 29, 2021

• Upgrade Z3 version

  Show description for efcb28b
  

  junkil-park

  authored and

  bors-libra

  committed
  efcb28b

Commits on Nov 15, 2021

• Enabled the tests of FixedPoint32

  Show description for 78738f1
  

  junkil-park

  authored and

  bors-libra

  committed
  78738f1

Commits on Nov 4, 2021

• Update emits.cvc4_exp

  Show description for 1340c86
  

  junkil-park

  authored and

  bors-libra

  committed
  1340c86

Commits on Oct 21, 2021

• Proved the invariants of the XDX and XUS coin configuration

  Show description for fab8933
  

  junkil-park

  authored and

  bors-libra

  committed
  fab8933

Commits on Oct 7, 2021

• Added the emits section and more references to the paper

  Show description for 14e501a
  

  junkil-park

  authored and

  bors-libra

  committed
  14e501a

Commits on Sep 25, 2021

• Replaced spec_address_of with address_of

  Show description for a63302b
  

  junkil-park

  authored and

  bors-libra

  committed
  a63302b

Commits on Sep 22, 2021

• Generate the backward call graphs for the Diem Framework documentation

  Show description for 9bcbc23
  

  junkil-park

  authored and

  bors-libra

  committed
  9bcbc23

Commits on Sep 17, 2021

• Rewrite some specs for cap-based access control

  Show description for 98ec6a2
  

  junkil-park

  authored and

  bors-libra

  committed
  98ec6a2

Commits on Sep 2, 2021

• Rewrite the access control spec as two state invariants

  Show description for e703dda
  

  junkil-park

  authored and

  bors-libra

  committed
  e703dda

Commits on Aug 26, 2021

• Opted out of daily-testing Prover on release-1.3 and release-1.4

  Show description for 367f1a0
  

  junkil-park

  authored and

  bors-libra

  committed
  367f1a0

• Restricted the visibility of some functions in the DiemConfig module

  Show description for ea1107a
  

  junkil-park

  authored and

  bors-libra

  committed
  ea1107a

Commits on Aug 19, 2021

• Fixed the display of signer values in the error trace in Prover

  Show description for f936955
  

  junkil-park

  authored and

  bors-libra

  committed
  f936955

Commits on Aug 6, 2021

• Implemented is_signer in Prover

  Show description for 0d97f60
  

  junkil-park

  authored and

  bors-libra

  committed
  0d97f60

Commits on Jul 31, 2021

• Added the "tee" command to see the full log

  Show description for c78fc12
  

  junkil-park

  authored and

  bors-libra

  committed
  c78fc12

Commits on May 26, 2021

• Add Vault::is_delegation_enabled

  Show description for f2e1619
  

  junkil-park

  authored and

  bors-libra

  committed
  f2e1619

Commits on May 21, 2021

• Correct the Signer module documentation

  Show description for d536136
  

  junkil-park

  authored and

  bors-libra

  committed
  d536136

Commits on Apr 13, 2021

• Fix the negative test failure masking in BoogieWrapper

  Show description for 7dde3da
  

  junkil-park

  authored and

  bors-libra

  committed
  7dde3da

Commits on Mar 31, 2021

• Fix the problem with the pragma "aborts_if_is_partial"

  Show description for a43dafc
  

  junkil-park

  authored and

  bors-libra

  committed
  a43dafc

Commits on Mar 30, 2021

• Added the emits specs to the Diem Framework

  Show description for e6d8ad5
  

  junkil-park

  authored and

  bors-libra

  committed
  e6d8ad5

Commits on Mar 29, 2021

• Updated the access control specs in the Diem Frmaework

  Show description for 0d8fc60
  

  junkil-park

  authored and

  bors-libra

  committed
  0d8fc60

Commits on Mar 26, 2021

• Adjust the labels in the Diem Framework

  Show description for 88ab22b
  

  junkil-park

  authored and

  bors-libra

  committed
  88ab22b

Pagination

PreviousNext