Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Feb 16, 2022

• [cleanup] return Result instead of panic-ing in TypeLayoutBuilder

  Show description for 595b6d0
  

  sblackshear

  authored and

  bors-diem

  committed
  595b6d0

• [move-to-yul] Add 128 bit support and some cleanup

  Show description for 54e3c30
  

  wrwg

  authored and

  bors-libra

  committed
  54e3c30

• [evm] initial implementation of evm execution utils

  Show description for 86d9d32
  

  vgao1996

  authored and

  bors-libra

  committed
  86d9d32

Commits on Feb 15, 2022

• [move-to-yul] Implement Destroy instruction

  Show description for c706d00
  

  wrwg

  authored and

  bors-libra

  committed
  c706d00

• Fixup: add unpack implementation and simplify pack/unpack logic

  Show description for 97c3e41
  

  wrwg

  authored and

  bors-libra

  committed
  97c3e41

• [move-to-yul] Memory model

  Show description for d8a7017
  

  wrwg

  authored and

  bors-libra

  committed
  d8a7017

Commits on Feb 13, 2022

• [move-prover] Update arxiv version.

  Show description for 4b969d2
  

  wrwg

  authored and

  bors-libra

  committed
  4b969d2

Commits on Feb 12, 2022

• [evm] Generalizing placeholder definitions & memory guard

  Show description for 0fd9797
  

  wrwg

  authored and

  bors-libra

  committed
  0fd9797

Commits on Feb 11, 2022

• Expose read to event store from NativeContext

  Show description for 7683d09
  

  lxfind

  authored and

  bors-libra

  committed
  7683d09

• [move-prover][paper] Layout updates and removal of appendices

  Show description for 1c9f0a1
  

  wrwg

  authored and

  bors-libra

  committed
  1c9f0a1

• [utils] make normalized module serializable

  Show description for d25faa5
  

  sblackshear

  authored and

  bors-libra

  committed
  d25faa5

• bug fix in move sandbox run

  Show description for 1b1dd0b
  

  JerryKwan

  authored and

  bors-libra

  committed
  1b1dd0b

Commits on Feb 9, 2022

• [evm] Compile generated Yul & extend dev_setup with solc

  Show description for f996ad2
  

  wrwg

  authored and

  jsladermanACN

  committed
  f996ad2

• fixup

  Show description for da5c4b8
  

  wrwg

  authored and

  jsladermanACN

  committed
  da5c4b8

• Fixup

  

  wrwg

  authored and

  jsladermanACN

  committed
  6e1680d

• fixup

  

  wrwg

  authored and

  jsladermanACN

  committed
  73fe2bd

• [evm] Initial version of the Move-To-Yul cross compiler.

  Show description for 71d88ad
  

  wrwg

  authored and

  jsladermanACN

  committed
  71d88ad

Commits on Feb 8, 2022

• [utils] add logic for serializing Move value with both type and field names

  Show description for 1e5e36c
  

  sblackshear

  authored and

  jsladermanACN

  committed
  1e5e36c

• Alternative ERC20 implementation with Table

  Show description for 4f5866b
  

  junkil-park

  authored and

  jsladermanACN

  committed
  4f5866b

• Resurrecting serde-friendly type layout generation from modules initial implementation

  Show description for 3d670de
  

  awelc

  authored and

  bors-libra

  committed
  3d670de

Commits on Feb 7, 2022

• allow to pass explicit CostTable for custom native functions

  Show description for 1a039e4
  

  mkurnikov

  authored and

  bors-libra

  committed
  1a039e4

• [move-prover] Paper update

  Show description for 90b018e
  

  wrwg

  authored and

  bors-libra

  committed
  90b018e

• Fix typo

  Show description for aa14921
  

  David-Cha

  authored and

  bors-libra

  committed
  aa14921

Commits on Feb 4, 2022

• [move-compiler] Improve CFG traversal

  Show description for 1d26339
  

  Todd Nowacki

  authored and

  bors-libra

  committed
  1d26339

Commits on Feb 3, 2022

• [bytecode verifier] Improve reference safety performance

  Show description for a492d36
  

  Todd Nowacki

  authored and

  bors-libra

  committed
  a492d36

• Support type parameters in execute_function_for_effects

  Show description for 7066891
  

  lxfind

  authored and

  bors-libra

  committed
  7066891

Commits on Feb 2, 2022

• [move-cli][test] trigger the cyclic check on the VM side

  Show description for 7dc417f
  

  meng-xu-cs

  authored and

  bors-libra

  committed
  7dc417f

Commits on Jan 30, 2022

• Fixed dev_setup script to download the right version of .NET for M1 Macs

  Show description for 927c229
  

  awelc

  authored and

  bors-libra

  committed
  927c229

Commits on Jan 28, 2022

• [move-prover][paper] Final version.

  Show description for adb8259
  

  wrwg

  authored and

  bors-libra

  committed
  adb8259

• Update to allow for Move repository change

  Show description for 7a5cd09
  

  0xzoz

  authored and

  bors-libra

  committed
  7a5cd09

Commits on Jan 25, 2022

• print out global memory in the counterexample trace

  Show description for b901613
  

  rahxephon89

  authored and

  bors-libra

  committed
  b901613

Commits on Jan 21, 2022

• [move-package] Adds checks for case insensitive file systems

  Show description for 62b5a50
  

  Tim Zakian

  authored and

  bors-libra

  committed
  62b5a50

• Support 20 bytes address

  Show description for b3fd5f2
  

  lxfind

  authored and

  bors-libra

  committed
  b3fd5f2

• Update link paths

  Show description for 7e593a2
  

  0xzoz

  authored and

  bors-libra

  committed
  7e593a2

Commits on Jan 15, 2022

• [move-package] Make package system thread/process safe

  Show description for d253bf1
  

  Tim Zakian

  authored and

  bors-libra

  committed
  d253bf1

Pagination

Previous

Next