Commits

Branch selector

 main

User selector

ma2bd

Datepicker

All time

Commit History

Commits on Feb 22, 2021

• [Move SDK codegen] Bump textwrap from 0.13.2 to 0.13.3

  Show description for 588d218
  

  ma2bd

  authored and

  bors-libra

  committed
  588d218

• [ci] use ubuntu-latest-xl for non-rust-lint

  Show description for ff7a53a
  

  ma2bd

  authored and

  bors-libra

  committed
  ff7a53a

• [ci] bump timeout for non-rust-lint

  

  ma2bd

  authored and

  bors-libra

  committed
  13860bc

• [ci] run specific --ignored tests

  

  ma2bd

  authored and

  bors-libra

  committed
  0c9bc4c

• [ci] setup codegen requirements

  

  ma2bd

  authored and

  bors-libra

  committed
  01093cd

Commits on Feb 19, 2021

• [transaction builder generator] make python test ready for CI + small fix

  Show description for 8246da1
  

  ma2bd

  authored and

  bors-libra

  committed
  8246da1

Commits on Feb 10, 2021

• [move prover] add syntax for explicit triggers

  Show description for c7de374
  

  ma2bd

  authored and

  bors-libra

  committed
  c7de374

Commits on Feb 2, 2021

• [transaction builder generator] fix CI test after diem/diem#7289

  Show description for 5da42ba
  

  ma2bd

  authored and

  bors-libra

  committed
  5da42ba

Commits on Jan 28, 2021

• [transaction builder generator] fix new pyre error

  Show description for 5b978b2
  

  ma2bd

  authored and

  bors-libra

  committed
  5b978b2

Commits on Jan 21, 2021

• [move-prover] Add native where condition in quantifier AST node

  Show description for 6a3d244
  

  ma2bd

  authored and

  bors-libra

  committed
  6a3d244

• [move-prover] new backend: update translate_quant

  

  ma2bd

  authored and

  bors-libra

  committed
  7e44a6a

Commits on Jan 20, 2021

• [move-prove][nit] improve spacing in Boogie input

  Show description for 5b975b1
  

  ma2bd

  authored and

  bors-libra

  committed
  5b975b1

• [move spec] support multiple quantifiers in parser

  

  ma2bd

  authored and

  bors-libra

  committed
  a746e94

• [move prover] support translation of multiple quantifiers

  

  ma2bd

  authored and

  bors-libra

  committed
  fded84a

Commits on Jan 15, 2021

• [move-model] fix binding order in exp_rewriter + translate

  Show description for 45ca9d0
  

  ma2bd

  authored and

  bors-libra

  committed
  45ca9d0

• [move-prover][nits] improve code for translate_quant

  

  ma2bd

  authored and

  bors-libra

  committed
  fad42a3

• [move-prover] clean up deprecated builtin and translation for quantifiers

  

  ma2bd

  authored and

  bors-libra

  committed
  627e537

• [move specs] use new AST node for quantifiers (so far individually)

  

  ma2bd

  authored and

  bors-libra

  committed
  bb94940

• [move-prover] Translate quantifiers from expanded AST to move-model AST

  

  ma2bd

  authored and

  bors-libra

  committed
  4d2a3c9

• [move specs] Add first-class quantifiers to Move AST (not yet produced by parser)

  

  ma2bd

  authored and

  bors-libra

  committed
  2672e77

• [move-prover] Add quantifiers to move-model AST (with limited translation)

  

  ma2bd

  authored and

  bors-libra

  committed
  3ee3623

Commits on Nov 18, 2020

• [serde-generate] upgrade to 0.16.0

  Show description for f870d54
  

  ma2bd

  authored and

  bors-libra

  committed
  f870d54

Commits on Nov 16, 2020

• [LCS] remove test dependency to libra-crypto

  Show description for f38a89c
  

  ma2bd

  authored and

  bors-libra

  committed
  f38a89c

Commits on Oct 23, 2020

• [transaction builder generator] Load custom code from user files

  Show description for b78d0ef
  

  ma2bd

  authored and

  bors-libra

  committed
  b78d0ef

• [Move] fix markdown syntax in doc comment of set_validator_config_and_reconfigure.move

  

  ma2bd

  authored and

  bors-libra

  committed
  da31092

Commits on Oct 15, 2020

• [transaction builder generate] add examples using custom code

  Show description for 4507e66
  

  ma2bd

  authored and

  bors-libra

  committed
  4507e66

Commits on Sep 30, 2020

• update serde-generate to 0.15.0

  Show description for fa4f064
  

  ma2bd

  authored and

  bors-libra

  committed
  fa4f064

Commits on Sep 25, 2020

• update to serde-generate 0.14.3

  Show description for 0d51d3d
  

  ma2bd

  authored and

  bors-libra

  committed
  0d51d3d

Commits on Sep 19, 2020

• [transaction builder generator] update serde-generate + fix (ignored) python test

  Show description for 6cb6df8
  

  ma2bd

  authored and

  bors-libra

  committed
  6cb6df8

Commits on Sep 2, 2020

• [Move transaction builders] Java: support javadoc

  Show description for 16371df
  

  ma2bd

  authored and

  bors-libra

  committed
  16371df

• [Move script] tiered_mint: fix quotes in doc comment

  

  ma2bd

  authored and

  bors-libra

  committed
  6172518

Commits on Aug 31, 2020

• [serde-generate] Migrate to 0.14.0 (com.facebook -> com.novi)

  Show description for 477e441
  

  ma2bd

  authored and

  bors-libra

  committed
  477e441

Commits on Aug 29, 2020

• [transaction builder generator] fix CLI and make sure that we test examples in the README

  Show description for 1915ee2
  

  ma2bd

  authored and

  bors-libra

  committed
  1915ee2

Commits on Aug 26, 2020

• [dependency] update serde-generate to 0.13.0

  Show description for b02fbd4
  

  ma2bd

  authored and

  bors-libra

  committed
  b02fbd4

Commits on Aug 25, 2020

• [types] fix warning

  Show description for 0e945e2
  

  ma2bd

  authored and

  bors-libra

  committed
  0e945e2

Pagination

PreviousNext