Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on May 21, 2021

• [read/write set analysis] support substitution of concrete values in abstract state

  Show description for 730fa9a
  

  sblackshear

  authored and

  bors-libra

  committed
  730fa9a

  Copy full SHA for 730fa9a

Commits on May 19, 2021

• jsonrpc-types-proto: move proto definitions into its own crate

  Show description for 07ac564
  

  bmwill

  authored and

  bors-libra

  committed
  07ac564

  Copy full SHA for 07ac564

Commits on May 6, 2021

• [move-prover] starts a testsuite for the stackless vm

  Show description for 91bc48d
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  91bc48d

  Copy full SHA for 91bc48d

• [move-prover] a basic stackless bytecode interpreter

  Show description for 3ea8986
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  3ea8986

  Copy full SHA for 3ea8986

Commits on Apr 29, 2021

• [move-prover] Remove old boogie backend.

  Show description for 06b3634
  

  wrwg

  authored and

  bors-libra

  committed
  06b3634

  Copy full SHA for 06b3634

• [move-tools] Add unit test runner and reporter for Move

  Show description for f201b17
  

  Tim Zakian

  authored and

  bors-libra

  committed
  f201b17

  Copy full SHA for f201b17

Commits on Apr 28, 2021

• [oncall_trainer] Implement a binary for training oncall

  Show description for 24efa2d
  

  Runtian Zhou

  authored and

  bors-libra

  committed
  24efa2d

  Copy full SHA for 24efa2d

Commits on Apr 23, 2021

• [Move read/write set analysis] create standalone crate

  Show description for aa6c00a
  

  sblackshear

  authored and

  bors-libra

  committed
  aa6c00a

  Copy full SHA for aa6c00a

Commits on Apr 22, 2021

• [language] rename 'vm' to 'move-binary-format'

  Show description for 2c10482
  

  vgao1996

  authored and

  bors-libra

  committed
  2c10482

  Copy full SHA for 2c10482

Commits on Apr 19, 2021

• [datatest-stable] use version from crates.io

  Show description for 3fefa5a
  

  sunshowers

  authored and

  bors-libra

  committed
  3fefa5a

  Copy full SHA for 3fefa5a

Commits on Apr 16, 2021

• [scratchpad] benchmark tool

  Show description for 55372e7
  

  lightmark

  authored and

  bors-libra

  committed
  55372e7

  Copy full SHA for 55372e7

Commits on Apr 14, 2021

• [move-prover] Revert "Revert "Representing structs as ADTs instead of vectors.""

  Show description for 67ae5f5
  

  wrwg

  authored and

  bors-libra

  committed
  67ae5f5

  Copy full SHA for 67ae5f5

• Revert "[move-prover] Representing structs as ADTs instead of vectors."

  Show description for 72a378e
  

  rexhoffman

  authored and

  bors-libra

  committed
  72a378e

  Copy full SHA for 72a378e

Commits on Apr 13, 2021

• [move-prover] Representing structs as ADTs instead of vectors.

  Show description for 8ebbb2f
  

  wrwg

  authored and

  bors-libra

  committed
  8ebbb2f

  Copy full SHA for 8ebbb2f

• forge: introduce a prototype for a new testing framework

  Show description for fe17f44
  

  bmwill

  authored and

  bors-libra

  committed
  fe17f44

  Copy full SHA for fe17f44

Commits on Apr 12, 2021

• remove unused diem-trace crate

  Show description for 89e0afc
  

  bmwill

  authored and

  bors-libra

  committed
  89e0afc

  Copy full SHA for 89e0afc

Commits on Apr 10, 2021

• [move-prover] Make benchmarking and other analytics more systematic

  Show description for 512f229
  

  wrwg

  authored and

  bors-libra

  committed
  512f229

  Copy full SHA for 512f229

Commits on Apr 6, 2021

• sdk: introduce offchain api module

  Show description for a0cf504
  

  bmwill

  authored and

  bors-libra

  committed
  a0cf504

  Copy full SHA for a0cf504

Commits on Apr 4, 2021

• [move-prover] Make vnext Boogie backend the default

  Show description for 45698a9
  

  wrwg

  authored and

  bors-libra

  committed
  45698a9

  Copy full SHA for 45698a9

Commits on Apr 2, 2021

• sdk: compatability -> compatibility

  Show description for 16c6187
  

  bmwill

  authored and

  bors-libra

  committed
  16c6187

  Copy full SHA for 16c6187

Commits on Apr 1, 2021

• sdk: introduce an sdk compatability testsuite

  Show description for 24eae0a
  

  bmwill

  authored and

  bors-libra

  committed
  24eae0a

  Copy full SHA for 24eae0a

• transaction-builder: remove shell crate from language directory

  

  bmwill

  authored and

  bors-libra

  committed
  3588c3b

  Copy full SHA for 3588c3b

• transaction-builder: move to the sdk directory

  

  bmwill

  authored and

  bors-libra

  committed
  4737b34

  Copy full SHA for 4737b34

Commits on Mar 31, 2021

• [language] introduce diem-framework-releases

  Show description for 06206e4
  

  vgao1996

  authored and

  bors-libra

  committed
  06206e4

  Copy full SHA for 06206e4

Commits on Mar 30, 2021

• [cargo-toolchain] clean up old spilt versioned build rust-/cargo- versions

  Show description for 8fc053f
  

  rexhoffman

  authored and

  bors-libra

  committed
  8fc053f

  Copy full SHA for 8fc053f

Commits on Mar 24, 2021

• [move-prover] Monomorphization via unboxing.

  Show description for be17089
  

  wrwg

  authored and

  bors-libra

  committed
  be17089

  Copy full SHA for be17089

Commits on Mar 23, 2021

• [proof-of-solvency] Add diem-assets-proof CLI tool

  Show description for ef6c719
  

  phlip9

  authored and

  bors-libra

  committed
  ef6c719

  Copy full SHA for ef6c719

• Remove the crate diagen

  Show description for de4e645
  

  junkil-park

  authored and

  bors-libra

  committed
  de4e645

  Copy full SHA for de4e645

Commits on Mar 15, 2021

• [language] introduce move-stdlib

  Show description for cda26b3
  

  vgao1996

  authored and

  bors-libra

  committed
  cda26b3

  Copy full SHA for cda26b3

Commits on Mar 8, 2021

• sdk: create facade crate and release v0.0.1 to crates.io

  Show description for 80595f8
  

  bmwill

  authored and

  bors-libra

  committed
  80595f8

  Copy full SHA for 80595f8

Commits on Feb 24, 2021

• types: move diem-network-address into diem-types

  Show description for 6788426
  

  phlip9

  authored and

  bors-libra

  committed
  6788426

  Copy full SHA for 6788426

Commits on Feb 12, 2021

• [common] adding a new fallible wrapper for copy_from_slice

  Show description for b10ece0
  

  mimoo

  authored and

  bors-libra

  committed
  b10ece0

  Copy full SHA for b10ece0

• [language/tools] Add bytecode viewer

  Show description for 7184234
  

  Tim Zakian

  authored and

  bors-libra

  committed
  7184234

  Copy full SHA for 7184234

Commits on Feb 11, 2021

• [language] rename 'stdlib' to 'diem-stdlib'

  Show description for 46d4799
  

  vgao1996

  authored and

  bors-libra

  committed
  46d4799

  Copy full SHA for 46d4799

Commits on Feb 4, 2021

• diem-dev: remove unused and outdated c-interface

  Show description for 87d33bf
  

  bmwill

  authored and

  bors-libra

  committed
  87d33bf

  Copy full SHA for 87d33bf

Pagination

Previous

Next