Commits

Branch selector

 main

User selector

DavidLDill

Datepicker

All time

Commit History

Commits on Dec 23, 2021

• [move-prover] Partial specification of Vote module

  Show description for ceb8727
  

  DavidLDill

  authored and

  bors-libra

  committed
  ceb8727

Commits on Dec 21, 2021

• [draft][move-prover] Type parameter bug?

  Show description for b0494bc
  

  DavidLDill

  authored and

  bors-libra

  committed
  b0494bc

Commits on Oct 27, 2021

• [move-prover] Fixed undeclared $choice function

  Show description for 9d4635f
  

  DavidLDill

  authored and

  bors-libra

  committed
  9d4635f

Commits on Oct 16, 2021

• [base_image] One-line fix in scripts/dev_setup.sh

  Show description for 4b9f860
  

  DavidLDill

  authored and

  bors-libra

  committed
  4b9f860

Commits on Oct 9, 2021

• [Move-prover] Dave's paper edits

  Show description for 7b61501
  

  DavidLDill

  authored and

  bors-libra

  committed
  7b61501

Commits on Sep 16, 2021

• [move-prover] Changes to report

  Show description for 98bfc5d
  

  DavidLDill

  authored and

  bors-libra

  committed
  98bfc5d

Commits on Aug 11, 2021

• [move-prover] Revived invariant disabling

  Show description for 77ac2b2
  

  DavidLDill

  authored and

  bors-libra

  committed
  77ac2b2

Commits on Jul 30, 2021

• [move-prover] Fix an inconsistency in global invariant processing

  Show description for bf4697c
  

  DavidLDill

  authored and

  bors-libra

  committed
  bf4697c

Commits on Jul 24, 2021

• [move-prover] Strengthened some framework specs, added some friend decls, fixed a bug

  Show description for 9503ea8
  

  DavidLDill

  authored and

  bors-libra

  committed
  9503ea8

Commits on Jun 17, 2021

• [move-prover] Added invariant disabling pragmas to user doc

  Show description for 2d04d06
  

  DavidLDill

  authored and

  bors-libra

  committed
  2d04d06

Commits on May 21, 2021

• [move-prover] Finishing touches to V2 invariant processing

  Show description for ff75603
  

  DavidLDill

  authored and

  bors-libra

  committed
  ff75603

Commits on May 12, 2021

• [move-prover] Add inv_v2 to cargo test, add error checking

  Show description for 75c90f6
  

  DavidLDill

  authored and

  bors-libra

  committed
  75c90f6

Commits on Apr 29, 2021

• [move-prover] Analysis for V2 invariant processing

  Show description for e8bd249
  

  DavidLDill

  authored and

  bors-libra

  committed
  e8bd249

Commits on Feb 26, 2021

• [move-prover] Preparation for new invariant handling

  Show description for 97cc12b
  

  DavidLDill

  authored and

  bors-libra

  committed
  97cc12b

• [move-prover] V2 invariant support

  Show description for 2b58f70
  

  DavidLDill

  authored and

  bors-libra

  committed
  2b58f70

Commits on Nov 6, 2020

• [move-prover][move framework] Added invariants in many files.

  Show description for 2201c18
  

  DavidLDill

  authored and

  bors-libra

  committed
  2201c18

Commits on Oct 14, 2020

• [move-prover][move framework] Some documentation cleanup.

  Show description for 62df36f
  

  DavidLDill

  authored and

  bors-libra

  committed
  62df36f

Commits on Oct 8, 2020

• [move-prover][move framework] Cleanup of Offer.move

  Show description for a68148f
  

  DavidLDill

  authored and

  bors-libra

  committed
  a68148f

Commits on Oct 7, 2020

• [move-prover][move framework] Vector cleanup

  Show description for d56418b
  

  DavidLDill

  authored and

  bors-libra

  committed
  d56418b

• [move-prover][move framework] LibraVersion Cleanup

  Show description for d1f8a09
  

  DavidLDill

  authored and

  bors-libra

  committed
  d1f8a09

Commits on Oct 6, 2020

• [move-prover][move language] Cleaned up comments for RegisteredCurrencies.move

  Show description for bd47faa
  

  DavidLDill

  authored and

  bors-libra

  committed
  bd47faa

• [move-prover][move framework] Libra.move cleanup

  Show description for f113e28
  

  DavidLDill

  authored and

  bors-libra

  committed
  f113e28

• [move-prover][move framework] Cleanup of comments in LibraConfig

  Show description for 57fae95
  

  DavidLDill

  authored and

  bors-libra

  committed
  57fae95

Commits on Oct 5, 2020

• [move-prover][move framework] Cleanup of LibraSystem.move

  Show description for 9d4deb2
  

  DavidLDill

  authored and

  bors-libra

  committed
  9d4deb2

Commits on Oct 2, 2020

• [move-prover][move framework] Specs for more validator transactions

  Show description for 5e58364
  

  DavidLDill

  authored and

  bors-libra

  committed
  5e58364

Commits on Sep 30, 2020

• [move framework][move-prover] More validator-related specs, fixed timeouts.

  Show description for 906bfb4
  

  DavidLDill

  authored and

  bors-libra

  committed
  906bfb4

Commits on Sep 19, 2020

• [breaking][move framework][move-prover] Add LIP-6 specs, refactor Genesis a bit.

  Show description for 837052e
  

  DavidLDill

  authored and

  bors-libra

  committed
  837052e

Commits on Aug 26, 2020

• [move-prover] Small changes to ValidatorConfig, LibraSystem

  Show description for 6525726
  

  DavidLDill

  authored and

  bors-libra

  committed
  6525726

Commits on Aug 24, 2020

• [Move prover] Added specs to LibraConfig

  Show description for dd1f454
  

  DavidLDill

  authored and

  bors-libra

  committed
  dd1f454

Commits on Jul 16, 2020

• [move-prover] Added a few more specs to Libra.move

  Show description for bca0123
  

  DavidLDill

  authored and

  bors-libra

  committed
  bca0123

Commits on Jul 14, 2020

• [move framework][move-prover] Changed spec_has_*_role to take addresses.

  Show description for b064349
  

  DavidLDill

  authored and

  bors-libra

  committed
  b064349

• [move framework][move prover] Refactor coins1/2/Libra for verifiability

  Show description for 93c04b8
  

  DavidLDill

  authored and

  bors-libra

  committed
  93c04b8

Commits on Jul 13, 2020

• [move framework] Simplify LibraConfig for verification

  Show description for 01568d5
  

  DavidLDill

  authored and

  bors-libra

  committed
  01568d5

Commits on Jul 4, 2020

• [move framework][move-prover][DRAFT] Refactor coins for better verification

  Show description for ab83b65
  

  DavidLDill

  authored and

  bors-libra

  committed
  ab83b65

Commits on Jul 2, 2020

• [libra framework][move-prover] Refactor Roles.move and clients

  Show description for b37d494
  

  DavidLDill

  authored and

  bors-libra

  committed
  b37d494

Pagination

PreviousNext