Commits

Branch selector

 main

User selector

junkil-park

Datepicker

All time

Commit History

Commits on Jan 18, 2022

• Disable the daily test for Prover

  Show description for 5f8e8cc
  

  junkil-park

  authored and

  bors-libra

  committed
  5f8e8cc

  Copy full SHA for 5f8e8cc

Commits on Dec 23, 2021

• Added more Move examples

  Show description for 46bc24d
  

  junkil-park

  authored and

  bors-libra

  committed
  46bc24d

  Copy full SHA for 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

  Copy full SHA for 916bae4

Commits on Dec 12, 2021

• Added examples/experimental/math-puzzle

  Show description for 96261c5
  

  junkil-park

  authored and

  bors-libra

  committed
  96261c5

  Copy full SHA for 96261c5

Commits on Dec 8, 2021

• Upgrade Z3 version

  Show description for aecab7e
  

  junkil-park

  authored and

  bors-libra

  committed
  aecab7e

  Copy full SHA for 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

  Copy full SHA for 06db815

• Revert the Z3 version

  Show description for 6ba9138
  

  junkil-park

  authored and

  bors-libra

  committed
  6ba9138

  Copy full SHA for 6ba9138

Commits on Nov 29, 2021

• Upgrade Z3 version

  Show description for efcb28b
  

  junkil-park

  authored and

  bors-libra

  committed
  efcb28b

  Copy full SHA for efcb28b

Commits on Nov 15, 2021

• Enabled the tests of FixedPoint32

  Show description for 78738f1
  

  junkil-park

  authored and

  bors-libra

  committed
  78738f1

  Copy full SHA for 78738f1

Commits on Nov 4, 2021

• Update emits.cvc4_exp

  Show description for 1340c86
  

  junkil-park

  authored and

  bors-libra

  committed
  1340c86

  Copy full SHA for 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

  Copy full SHA for 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

  Copy full SHA for 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

  Copy full SHA for 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

  Copy full SHA for 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

  Copy full SHA for 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

  Copy full SHA for 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

  Copy full SHA for 367f1a0

• Restricted the visibility of some functions in the DiemConfig module

  Show description for ea1107a
  

  junkil-park

  authored and

  bors-libra

  committed
  ea1107a

  Copy full SHA for 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

  Copy full SHA for f936955

Commits on Aug 6, 2021

• Implemented is_signer in Prover

  Show description for 0d97f60
  

  junkil-park

  authored and

  bors-libra

  committed
  0d97f60

  Copy full SHA for 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

  Copy full SHA for c78fc12

Commits on May 26, 2021

• Add Vault::is_delegation_enabled

  Show description for f2e1619
  

  junkil-park

  authored and

  bors-libra

  committed
  f2e1619

  Copy full SHA for f2e1619

Commits on May 21, 2021

• Correct the Signer module documentation

  Show description for d536136
  

  junkil-park

  authored and

  bors-libra

  committed
  d536136

  Copy full SHA for 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

  Copy full SHA for 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

  Copy full SHA for 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

  Copy full SHA for 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

  Copy full SHA for 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

  Copy full SHA for 88ab22b

Commits on Mar 25, 2021

• Add the Prover inconsistency test to the daily test routine

  Show description for 9549c26
  

  junkil-park

  authored and

  bors-libra

  committed
  9549c26

  Copy full SHA for 9549c26

Commits on Mar 23, 2021

• Add the MVP_TEST_INCONSISTENCY to cargo test -p move-prover

  Show description for 229eaf7
  

  junkil-park

  authored and

  bors-libra

  committed
  229eaf7

  Copy full SHA for 229eaf7

• Remove the crate diagen

  Show description for de4e645
  

  junkil-park

  authored and

  bors-libra

  committed
  de4e645

  Copy full SHA for de4e645

Commits on Mar 22, 2021

• Corrects the default "--cores" value displayed in the help message

  Show description for 9f09f01
  

  junkil-park

  authored and

  bors-libra

  committed
  9f09f01

  Copy full SHA for 9f09f01

Commits on Mar 18, 2021

• Fixed the inconsistency in the verification of txn::burn_txn_fees and TransactionFee::burn_fees

  Show description for 57b908e
  

  junkil-park

  authored and

  bors-libra

  committed
  57b908e

  Copy full SHA for 57b908e

Commits on Mar 16, 2021

• Implemented the automatic inconsistency checking

  Show description for ba1aec8
  

  junkil-park

  authored and

  bors-libra

  committed
  ba1aec8

  Copy full SHA for ba1aec8

Commits on Mar 11, 2021

• Updated the emits spec in the Diem Framework

  Show description for 6b4f8a8
  

  junkil-park

  authored and

  bors-libra

  committed
  6b4f8a8

  Copy full SHA for 6b4f8a8

Pagination

Previous

Next