Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 17, 2023

• fixed bug

  Show description for 52399be
  

  leofisG

  authored and

  bors-diem

  committed
  52399be

  Copy full SHA for 52399be

• add missing location line in error trace

  Show description for e185b51
  

  jyao15

  authored and

  bors-diem

  committed
  e185b51

  Copy full SHA for e185b51

• [table] add information about the table types when adding new tables

  Show description for d5fa870
  

  davidiw

  authored and

  bors-diem

  committed
  d5fa870

  Copy full SHA for d5fa870

Commits on Mar 16, 2023

• [move-prover] fix hyper-edge constructor in borrow analysis

  Show description for d9ab076
  

  meng-xu-cs

  authored and

  bors-diem

  committed
  d9ab076

  Copy full SHA for d9ab076

• [vm] Allow access to native extensions via the session

  Show description for fc1a8de
  

  wrwg

  authored and

  bors-diem

  committed
  fc1a8de

  Copy full SHA for fc1a8de

• Added support for building and running on Windows

  Show description for a3bf4dd
  

  awelc

  authored and

  bors-diem

  committed
  a3bf4dd

  Copy full SHA for a3bf4dd

• [move-cli] Fix 'new' command

  Show description for f294b1e
  

  tnowacki

  authored and

  bors-diem

  committed
  f294b1e

  Copy full SHA for f294b1e

Commits on Mar 10, 2023

• fix mistyping

  Show description for 0c849ad
  

  zouguangxian

  authored and

  bors-diem

  committed
  0c849ad

  Copy full SHA for 0c849ad

• fix bug in VecPack and VecUnpack

  Show description for f0f2209
  

  emmazzz

  authored and

  bors-diem

  committed
  f0f2209

  Copy full SHA for f0f2209

• allow casting from Value to Vec<Value>

  Show description for 291afe0
  

  vgao1996

  authored and

  bors-diem

  committed
  291afe0

  Copy full SHA for 291afe0

• Make the repro test for borrow analysis bug

  Show description for e4ea0a5
  

  emmazzz

  authored and

  bors-diem

  committed
  e4ea0a5

  Copy full SHA for e4ea0a5

• Make the package lowercase

  Show description for f2d1e8c
  

  junkil-park

  authored and

  bors-diem

  committed
  f2d1e8c

  Copy full SHA for f2d1e8c

Commits on Mar 9, 2023

• [doc] remove broken link and update readme

  Show description for a4cc51d
  

  satyamacn

  authored and

  bors-diem

  committed
  a4cc51d

  Copy full SHA for a4cc51d

• Change LdAddr to LdConst in dissasembler

  Show description for 11872df
  

  oxade

  authored and

  bors-diem

  committed
  11872df

  Copy full SHA for 11872df

• [move-cli] sandbox publishing with multiple modules and optionally, all modules in a package

  Show description for 7389c25
  

  meng-xu-cs

  authored and

  bors-diem

  committed
  7389c25

  Copy full SHA for 7389c25

• Change move syntax highlighting

  Show description for 03d4c0f
  

  uvd

  authored and

  bors-diem

  committed
  03d4c0f

  Copy full SHA for 03d4c0f

• nit: fix import resolution

  Show description for e59bbe3
  

  pkxro

  authored and

  bors-diem

  committed
  e59bbe3

  Copy full SHA for e59bbe3

Commits on Mar 8, 2023

• [stdlib] Simplified generic error code module.

  Show description for 48ffb72
  

  satyamacn

  authored and

  bors-diem

  committed
  48ffb72

  Copy full SHA for 48ffb72

• [Move analyzer] Update language server installation instructions

  Show description for 45542f8
  

  satyamacn

  authored and

  bors-diem

  committed
  45542f8

  Copy full SHA for 45542f8

• [vm] Allow native functions to reflect over the stack frame context

  Show description for 02238c1
  

  wrwg

  authored and

  bors-diem

  committed
  02238c1

  Copy full SHA for 02238c1

• Added support for computing first symbol info synchronously

  Show description for 475f315
  

  awelc

  authored and

  bors-diem

  committed
  475f315

  Copy full SHA for 475f315

• [Move analyzer] Changed the max address length limit

  Show description for d3aa8f2
  

  awelc

  authored and

  bors-diem

  committed
  d3aa8f2

  Copy full SHA for d3aa8f2

Commits on Mar 7, 2023

• print new values of havocked variables in error trace

  Show description for 18baba2
  

  jyao15

  authored and

  bors-diem

  committed
  18baba2

  Copy full SHA for 18baba2

• Improve support for Move doc comments

  Show description for 8d001ee
  

  macalinao

  authored and

  bors-diem

  committed
  8d001ee

  Copy full SHA for 8d001ee

• [move prover] use bytes instead of file path in CustomNativeOptions

  Show description for 4407636
  

  emmazzz

  authored and

  bors-diem

  committed
  4407636

  Copy full SHA for 4407636

• modify async

  Show description for 1a93fb4
  

  rahxephon89

  authored and

  bors-diem

  committed
  1a93fb4

  Copy full SHA for 1a93fb4

• Write Test Output To Any Writer Over stdout

  Show description for 74388b7
  

  oxade

  authored and

  bors-diem

  committed
  74388b7

  Copy full SHA for 74388b7

• [tutorials] remove depreciated std::errors in tutorial

  Show description for 8aa35d0
  

  zsluedem

  authored and

  bors-diem

  committed
  8aa35d0

  Copy full SHA for 8aa35d0

• [stdlib] UTF8 String type

  Show description for d5af0d7
  

  wrwg

  authored and

  bors-diem

  committed
  d5af0d7

  Copy full SHA for d5af0d7

• Flatten package commands

  Show description for 6667c67
  

  sahithiacn

  authored and

  bors-diem

  committed
  6667c67

  Copy full SHA for 6667c67

Commits on Mar 6, 2023

• [Move analyzer] Added Move icon to VSCode extension plus version bump to accommodate updated docs

  Show description for 2e3f914
  

  sahithiacn

  authored and

  bors-diem

  committed
  2e3f914

  Copy full SHA for 2e3f914

• add custom native options to move prover backend

  Show description for 2318e61
  

  emmazzz

  authored and

  bors-diem

  committed
  2318e61

  Copy full SHA for 2318e61

• [Move analyzer] Added a more meaningful missing manifest message

  Show description for 53b20de
  

  awelc

  authored and

  bors-diem

  committed
  53b20de

  Copy full SHA for 53b20de

• [unit-test] Allow extensions used for unit testing to live outside of Move repo

  Show description for 547b39e
  

  wrwg

  authored and

  bors-diem

  committed
  547b39e

  Copy full SHA for 547b39e

• [book] Added book.toml for better Git integration

  Show description for f3499db
  

  villesundell

  authored and

  bors-diem

  committed
  f3499db

  Copy full SHA for f3499db

Pagination

Previous

Next