Commits

Branch selector

 6ad7809

User selector

All users

Datepicker

All time

Commit History

Commits on Aug 27, 2021

• [decoupled-execution] diagram

  Show description for 6ad7809
  

  yuxiamit

  authored and

  bors-libra

  committed
  6ad7809

  Copy full SHA for 6ad7809

• [move-lang] Check usage of non-phantom params

  Show description for 46ce3a9
  

  Nico Lehmann

  authored and

  bors-libra

  committed
  46ce3a9

  Copy full SHA for 46ce3a9

• [decoupled-execution] persisting phase

  Show description for 72d8119
  

  yuxiamit

  authored and

  bors-libra

  committed
  72d8119

  Copy full SHA for 72d8119

• [move-prover] doc comment for verification analysis

  Show description for 7bb756a
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  7bb756a

  Copy full SHA for 7bb756a

• [move-prover] test cases for the verification analysis

  

  meng-xu-cs

  authored and

  bors-libra

  committed
  7c0058b

  Copy full SHA for 7c0058b

• [move-prover] dump the verification analysis result

  Show description for 780a429
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  780a429

  Copy full SHA for 780a429

• [move-prover] refactor the verification analysis

  Show description for 7c623bc
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  7c623bc

  Copy full SHA for 7c623bc

• [move-prover][report] Completing monomorphization section

  Show description for 27bf1c8
  

  wrwg

  authored and

  bors-libra

  committed
  27bf1c8

  Copy full SHA for 27bf1c8

Commits on Aug 26, 2021

• [move-prover] Add Diem Framework addrs to Options default

  Show description for 2f2eb8f
  

  Tim Zakian

  authored and

  bors-libra

  committed
  2f2eb8f

  Copy full SHA for 2f2eb8f

• [network] Split TransportManager and PeerManager

  Show description for cc67e53
  

  gregnazario

  authored and

  bors-libra

  committed
  cc67e53

  Copy full SHA for cc67e53

• [diem adapter] introduce VMAdapter trait

  Show description for 41fdccd
  

  emmazzz

  authored and

  bors-libra

  committed
  41fdccd

  Copy full SHA for 41fdccd

• 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

• [move-prover] cache all used memories in a set

  Show description for 5a3e4a8
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  5a3e4a8

  Copy full SHA for 5a3e4a8

• [decoupled-execution] Abstract Stateless Pipeline Phase

  Show description for 84cf684
  

  Alex

  authored and

  bors-libra

  committed
  84cf684

  Copy full SHA for 84cf684

Commits on Aug 25, 2021

• [move] Drop Qualified in Move IR ModuleIdent

  Show description for bc26de7
  

  modocache

  authored and

  bors-libra

  committed
  bc26de7

  Copy full SHA for bc26de7

• [move] Remove Move IR Transaction.Foo syntax

  Show description for 21544b0
  

  modocache

  authored and

  bors-libra

  committed
  21544b0

  Copy full SHA for 21544b0

• [move] Remove unused diagnostics

  Show description for ed3f607
  

  modocache

  authored and

  bors-libra

  committed
  ed3f607

  Copy full SHA for ed3f607

• [transaction-builder-generator] Add support for vector<vector<u8>>

  Show description for 550a8d5
  

  Tim Zakian

  authored and

  bors-libra

  committed
  550a8d5

  Copy full SHA for 550a8d5

• [move] Remove unused generic Location parameters

  Show description for dbfcc37
  

  modocache

  authored and

  bors-libra

  committed
  dbfcc37

  Copy full SHA for dbfcc37

• [move] Remove OwnedLoc in favor of just Loc

  Show description for 68c2df6
  

  modocache

  authored and

  bors-libra

  committed
  68c2df6

  Copy full SHA for 68c2df6

• [move-prover] add a test case for the asserted/assumed memory in usage

  Show description for 0099e4f
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  0099e4f

  Copy full SHA for 0099e4f

• [move-prover] include the memory usage in expressions

  Show description for 4f3e5f2
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  4f3e5f2

  Copy full SHA for 4f3e5f2

• [move-prover] record directly used memory and handle extra bytecode

  Show description for 154c7bb
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  154c7bb

  Copy full SHA for 154c7bb

• [move-prover][report] Global Invariant Section

  Show description for 5d97183
  

  wrwg

  authored and

  bors-libra

  committed
  5d97183

  Copy full SHA for 5d97183

• [diem-framework] Add unit tests for DiemConfig

  Show description for 8b3acda
  

  Tim Zakian

  authored and

  bors-libra

  committed
  8b3acda

  Copy full SHA for 8b3acda

Commits on Aug 24, 2021

• [move-cli] deep copy tests into the temp dir before running it there

  Show description for 999383c
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  999383c

  Copy full SHA for 999383c

• [diem-framework] Send NetworkIdentity events to a central event stream

  Show description for 735c9ca
  

  gregnazario

  authored and

  bors-libra

  committed
  735c9ca

  Copy full SHA for 735c9ca

• [json-rpc]: remove null values when serializing Views to JSON

  Show description for f3ac448
  

  Xiao Li

  authored and

  bors-libra

  committed
  f3ac448

  Copy full SHA for f3ac448

• [forge] Add performance test and LBT suite

  Show description for 716b536
  

  wilsonccccc

  authored and

  bors-libra

  committed
  716b536

  Copy full SHA for 716b536

• [move] Fix empty source mappings for scripts

  Show description for 770f585
  

  modocache

  authored and

  bors-libra

  committed
  770f585

  Copy full SHA for 770f585

• Fix markdown issue in global-storage-operators.md

  Show description for 5583022
  

  ankushagarwal

  authored and

  bors-libra

  committed
  5583022

  Copy full SHA for 5583022

• [move] IR module definitions require an address

  Show description for 9bd538d
  

  modocache

  authored and

  bors-libra

  committed
  9bd538d

  Copy full SHA for 9bd538d

• [decoupled-execution] Buffer manager redesign

  Show description for b94958e
  

  Alex

  authored and

  bors-libra

  committed
  b94958e

  Copy full SHA for b94958e

• [forge] implement logs_location for k8s swarm

  Show description for f961d84
  

  rustielin

  authored and

  bors-libra

  committed
  f961d84

  Copy full SHA for f961d84

Pagination

Previous

Next