Commits

Branch selector

 a24e57f

User selector

All users

Datepicker

All time

Commit History

Commits on Jul 29, 2021

• [gha] run transaction-replay test on weekly

  Show description for a24e57f
  

  sausagee

  authored and

  bors-libra

  committed
  a24e57f

• [move-prover] Tech report: data invariants

  Show description for 4ff94c4
  

  wrwg

  authored and

  bors-libra

  committed
  4ff94c4

• [ci] add ci action to post depdive update report on PR

  Show description for 3056588
  

  nasifimtiazohi

  authored and

  bors-libra

  committed
  3056588

• [gha] consolidate all the release/main jobs in to one ci-post-land.yml with a prepare step.

  Show description for cd22e78
  

  rexhoffman

  authored and

  bors-libra

  committed
  cd22e78

• [gha] only run helm tests on chart changes

  Show description for 195f391
  

  rustielin

  authored and

  bors-libra

  committed
  195f391

Commits on Jul 28, 2021

• [prover] Function specification injection

  Show description for c1fa2ba
  

  wrwg

  authored and

  bors-libra

  committed
  c1fa2ba

• [move] Nits from aptos-labs#8789

  Show description for 3324a58
  

  Todd Nowacki

  authored and

  bors-libra

  committed
  3324a58

• [move-prover] split global invariant instrumention into two steps

  Show description for 9aa3bef
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  9aa3bef

• [move-prover] fix a bug on variable name translation for SaveMem

  Show description for efb99da
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  efb99da

• [move-prover] fix a bug when the spec fun produces two identical params

  Show description for 00a8b6f
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  00a8b6f

• [move-prover] fix a bug where the type instantiation info is not commented out

  

  meng-xu-cs

  authored and

  bors-libra

  committed
  751b9b1

• [move-prover] Initial cut of tech report.

  Show description for c4dd8d8
  

  wrwg

  authored and

  bors-libra

  committed
  c4dd8d8

• [forge][small] run x

  Show description for 7d091e2
  

  rustielin

  authored and

  bors-libra

  committed
  7d091e2

• [forge] make helm_repo available to the K8sSwarm

  

  rustielin

  authored and

  bors-libra

  committed
  5608bbf

• [forge] use rayon for parallel validator wipe

  

  rustielin

  authored and

  bors-libra

  committed
  dd6dc3d

• [forge] clean up k8s with re-genesis

  

  rustielin

  authored and

  bors-libra

  committed
  c1967f7

Commits on Jul 27, 2021

• build(deps): bump archlinux in /docker/ci/arch

  Show description for 473e1be
  

  dependabot[bot]

  authored and

  bors-libra

  committed
  473e1be

• [move-binary-format] Implement helpers for type substitution, display and conversion

  Show description for 0aceddd
  

  Runtian Zhou

  authored and

  bors-libra

  committed
  0aceddd

• [move-model] Implement api for getting normalized types

  

  Runtian Zhou

  authored and

  bors-libra

  committed
  b6301f6

• [move-vm] refactor the code loading logic

  Show description for a19a8a4
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  a19a8a4

• [move-prover] Ensure BOOGIE_EXE is set

  Show description for 6cb8dd1
  

  gregnazario

  authored and

  bors-libra

  committed
  6cb8dd1

• [move-prover] add a test case to track the progress of implementation

  Show description for 2a415aa
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  2a415aa

• [move-prover] use the new TypeUnificationAdapter to test type overlap

  Show description for 41d0d67
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  41d0d67

• [gha] work around very large logs sent to slack by prover daily tests.

  Show description for d4065ed
  

  rexhoffman

  authored and

  bors-libra

  committed
  d4065ed

Commits on Jul 26, 2021

• [docker] Copy Move module bytecodes into docker image so they can be used in genesis setup

  Show description for 2c66c5e
  

  sblackshear

  authored and

  bors-libra

  committed
  2c66c5e

• [docker] update debian base image

  Show description for 82cae51
  

  rexhoffman

  authored and

  bors-libra

  committed
  82cae51

Commits on Jul 25, 2021

• [generate-format] Remove the extra empty line at EOF

  Show description for 426616c
  

  Yu Xia

  authored and

  bors-libra

  committed
  426616c

Commits on Jul 24, 2021

• [decoupled-execution] Unhappy Path - Delay Block Pruning

  Show description for a8ac3c9
  

  Yu Xia

  authored and

  bors-libra

  committed
  a8ac3c9

• [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 Jul 23, 2021

• [move-package] Source manifest parsing and definition

  Show description for b7e5942
  

  Tim Zakian

  authored and

  bors-libra

  committed
  b7e5942

• Updates based on testing feedback

  Show description for f8d53ac
  

  Checkmate50

  authored and

  bors-libra

  committed
  f8d53ac

• Hello world mutation testing

  

  Checkmate50

  authored and

  bors-libra

  committed
  db79b62

• [move-vm] shortcut linking and deps check if a module is in code cache

  Show description for 8b4f50a
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  8b4f50a

• [move-vm] cache modules that have been deserialzied and self-verified in

  Show description for 18b55ab
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  18b55ab

• [move] Remove codespan from Loc

  Show description for 9e61c5d
  

  Todd Nowacki

  authored and

  bors-libra

  committed
  9e61c5d

Pagination

PreviousNext