Commits

Branch selector

 d6ab1e8

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 16, 2021

• [ci] update active branches

  Show description for d6ab1e8
  

  sausagee

  authored and

  bors-libra

  committed
  d6ab1e8

  Copy full SHA for d6ab1e8

• [move-prover] update spec lang doc on loop invariants

  Show description for fcb3881
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  fcb3881

  Copy full SHA for fcb3881

Commits on Aug 13, 2021

• forge: add some context to an error in TxnEmitter

  Show description for 03aea35
  

  bmwill

  authored and

  bors-libra

  committed
  03aea35

  Copy full SHA for 03aea35

• forge: display supported versions before starting tests

  

  bmwill

  authored and

  bors-libra

  committed
  a9efe2f

  Copy full SHA for a9efe2f

• forge: print out build errors when diem-node fails to build

  

  bmwill

  authored and

  bors-libra

  committed
  71228c2

  Copy full SHA for 71228c2

• forge: on test failure display where logs are located

  

  bmwill

  authored and

  bors-libra

  committed
  b418bcf

  Copy full SHA for b418bcf

• [forge] compatibility test on cloud backend

  Show description for 8be65a4
  

  wilsonccccc

  authored and

  bors-libra

  committed
  8be65a4

  Copy full SHA for 8be65a4

• [move-cli] allow tests to run in a tempdir-based workspace

  Show description for 5f559b9
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  5f559b9

  Copy full SHA for 5f559b9

• [diem_vm] Implement a new multi versioned hashmap.

  Show description for 70b660a
  

  Runtian Zhou

  authored and

  bors-libra

  committed
  70b660a

  Copy full SHA for 70b660a

• [JSON-RPC] Add timeouts to websocket test

  Show description for 077295e
  

  CapCap

  authored and

  bors-libra

  committed
  077295e

  Copy full SHA for 077295e

• [gha] fix docker mount points

  Show description for 272f9e1
  

  rexhoffman

  authored and

  bors-libra

  committed
  272f9e1

  Copy full SHA for 272f9e1

• Disable the OSX sscache job as cost savings

  Show description for 0c2e49f
  

  9atatimer

  authored and

  bors-libra

  committed
  0c2e49f

  Copy full SHA for 0c2e49f

• [decoupled-execution] The function try_commit should process batch by batch.

  Show description for 19e727e
  

  Yu Xia

  authored and

  bors-libra

  committed
  19e727e

  Copy full SHA for 19e727e

Commits on Aug 12, 2021

• ci: use crate cache for e2e and forge jobs

  Show description for cfdd6db
  

  bmwill

  authored and

  bors-libra

  committed
  cfdd6db

  Copy full SHA for cfdd6db

• [move-lang][move-ir] Intern all the strings

  Show description for 8d21bd0
  

  Todd Nowacki

  authored and

  bors-libra

  committed
  8d21bd0

  Copy full SHA for 8d21bd0

• [transactional-tests] Start VM tests

  Show description for d5af478
  

  Todd Nowacki

  authored and

  bors-libra

  committed
  d5af478

  Copy full SHA for d5af478

• diem-node: enable open publishing with --test

  Show description for 05b91a5
  

  bmwill

  authored and

  bors-libra

  committed
  05b91a5

  Copy full SHA for 05b91a5

• genesis: add option to specify VMPublishingOption

  

  bmwill

  authored and

  bors-libra

  committed
  000e602

  Copy full SHA for 000e602

• [move-prover] Fixes a bug with shadowing of let-bound names in schemas

  Show description for 3bbb237
  

  wrwg

  authored and

  bors-libra

  committed
  3bbb237

  Copy full SHA for 3bbb237

• [diem-framework] re-enable verifications disabled due to generic invariant

  Show description for b41d69d
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  b41d69d

  Copy full SHA for b41d69d

• [decoupled-execution] Fixes

  Show description for d74c3b1
  

  Yu Xia

  authored and

  bors-libra

  committed
  d74c3b1

  Copy full SHA for d74c3b1

• [move-prover] test case for the generic invariant pipeline

  Show description for 2d7f3ea
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  2d7f3ea

  Copy full SHA for 2d7f3ea

• [move-prover] adapt local mono to eliminate generic types in exp

  Show description for 8dbdd38
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  8dbdd38

  Copy full SHA for 8dbdd38

• [move-prover] duplicate the local mono processor for compatibility

  Show description for 57d0bf4
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  57d0bf4

  Copy full SHA for 57d0bf4

• [move-prover] a local monomorphization processor

  Show description for 1d9f1cf
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  1d9f1cf

  Copy full SHA for 1d9f1cf

• [move-model] centralize info about an exp into an ExpInfo struct

  Show description for 158fbe8
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  158fbe8

  Copy full SHA for 158fbe8

• [move-prover] allow ExpTranslator to recognize generics in expressions

  Show description for d032ad9
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  d032ad9

  Copy full SHA for d032ad9

• [diem-framework] improve the specs for NetworkIdentity

  Show description for 834439f
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  834439f

  Copy full SHA for 834439f

• [diem-framework] specs for NetworkIdentity

  Show description for 2147baf
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  2147baf

  Copy full SHA for 2147baf

• [ci] create new base image on a 'create' event

  Show description for f5dd19a
  

  rexhoffman

  authored and

  bors-libra

  committed
  f5dd19a

  Copy full SHA for f5dd19a

• [CI] move sccache update to post-land

  

  rexhoffman

  authored and

  bors-libra

  committed
  5294c3d

  Copy full SHA for 5294c3d

• diem-node: allow passing in an rng seed when running in --test mode

  Show description for 34eec33
  

  bmwill

  authored and

  bors-libra

  committed
  34eec33

  Copy full SHA for 34eec33

• genesis: add ability to pass in rng to SwarmConfig::build

  

  bmwill

  authored and

  bors-libra

  committed
  f4a3a5f

  Copy full SHA for f4a3a5f

• genesis: require passing in an rng when using ValidatorBuilder

  

  bmwill

  authored and

  bors-libra

  committed
  10a1f59

  Copy full SHA for 10a1f59

Commits on Aug 11, 2021

• [move traits] Move VM MoveStorage trait to move-core-types

  Show description for 844c4a7
  

  sblackshear

  authored and

  bors-libra

  committed
  844c4a7

  Copy full SHA for 844c4a7

Pagination

Previous

Next