Commits

Branch selector

 main

User selector

rahxephon89

Datepicker

All time

Commit History

Commits on Mar 7, 2023

• modify async

  Show description for 1a93fb4
  

  rahxephon89

  authored and

  bors-diem

  committed
  1a93fb4

  Copy full SHA for 1a93fb4

Commits on Feb 7, 2023

• abi-read

  Show description for cb9656d
  

  rahxephon89

  authored and

  bors-diem

  committed
  cb9656d

  Copy full SHA for cb9656d

Commits on Jan 23, 2023

• [move-to-yul] Add support for structs in ABI

  Show description for 30821de
  

  rahxephon89

  authored and

  bors-diem

  committed
  30821de

  Copy full SHA for 30821de

Commits on Dec 27, 2022

• Fix issue on allocating memory for external call (diem#36)

  Show description for 7065550
  

  rahxephon89

  authored and

  bors-diem

  committed
  7065550

  Copy full SHA for 7065550

Commits on Dec 1, 2022

• fix-copy-literal-bug (diem#1)

  Show description for fa64b4f
  

  rahxephon89

  authored and

  bors-diem

  committed
  fa64b4f

  Copy full SHA for fa64b4f

Commits on Apr 6, 2022

• json-abi-generation

  Show description for 10ee0e1
  

  rahxephon89

  authored and

  bors-diem

  committed
  10ee0e1

  Copy full SHA for 10ee0e1

Commits on Apr 5, 2022

• string-literal

  Show description for 8a8688a
  

  rahxephon89

  authored and

  bors-diem

  committed
  8a8688a

  Copy full SHA for 8a8688a

Commits on Apr 4, 2022

• constructor with arguments

  Show description for 6d2afae
  

  rahxephon89

  authored and

  bors-diem

  committed
  6d2afae

  Copy full SHA for 6d2afae

Commits on Apr 1, 2022

• copy-from-storage

  Show description for 6fcec38
  

  rahxephon89

  authored and

  bors-diem

  committed
  6fcec38

  Copy full SHA for 6fcec38

Commits on Mar 25, 2022

• abi-emit-events

  Show description for a7b841d
  

  rahxephon89

  authored and

  bors-diem

  committed
  a7b841d

  Copy full SHA for a7b841d

Commits on Mar 23, 2022

• external calls

  Show description for 75a711d
  

  rahxephon89

  authored and

  bors-diem

  committed
  75a711d

  Copy full SHA for 75a711d

Commits on Mar 17, 2022

• abi array

  Show description for dd02e8f
  

  rahxephon89

  authored and

  bors-diem

  committed
  dd02e8f

  Copy full SHA for dd02e8f

Commits on Mar 4, 2022

• add solidity signature

  Show description for 60b648d
  

  rahxephon89

  authored and

  bors-diem

  committed
  60b648d

  Copy full SHA for 60b648d

Commits on Feb 23, 2022

• semantic testing for dispatcher

  Show description for 57d6378
  

  rahxephon89

  authored and

  bors-diem

  committed
  57d6378

  Copy full SHA for 57d6378

Commits on Feb 19, 2022

• add dispatcher

  Show description for 15e8e6f
  

  rahxephon89

  authored and

  bors-diem

  committed
  15e8e6f

  Copy full SHA for 15e8e6f

Commits on Jan 25, 2022

• print out global memory in the counterexample trace

  Show description for b901613
  

  rahxephon89

  authored and

  bors-libra

  committed
  b901613

  Copy full SHA for b901613

Commits on Dec 16, 2021

• [move-prover] Specification of multitoken

  Show description for 0cf2397
  

  rahxephon89

  authored and

  bors-libra

  committed
  0cf2397

  Copy full SHA for 0cf2397

Commits on Dec 15, 2021

• fix bug for choice operator on type instantiation

  Show description for 3231d6c
  

  rahxephon89

  authored and

  bors-libra

  committed
  3231d6c

  Copy full SHA for 3231d6c

Commits on Dec 3, 2021

• revise step 7 and step 8

  Show description for 9f30fac
  

  rahxephon89

  authored and

  bors-libra

  committed
  9f30fac

  Copy full SHA for 9f30fac

Commits on Nov 19, 2021

• [move-prover] Add elimination of reference when translating the choice operator

  Show description for 7456d7b
  

  rahxephon89

  authored and

  bors-libra

  committed
  7456d7b

  Copy full SHA for 7456d7b

Commits on Nov 5, 2021

• [move][cli]verify native functions in publish

  Show description for 39147a7
  

  rahxephon89

  authored and

  bors-libra

  committed
  39147a7

  Copy full SHA for 39147a7

Commits on Oct 29, 2021

• add the option script-reach to move-prover

  Show description for 4ca3387
  

  rahxephon89

  authored and

  bors-libra

  committed
  4ca3387

  Copy full SHA for 4ca3387

• [move-prover] Allow multiple let-bindings in the spec function

  Show description for 81fc908
  

  rahxephon89

  authored and

  bors-libra

  committed
  81fc908

  Copy full SHA for 81fc908