Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 23, 2023

• [6/x][move-package/lock] LockFile and DependencyGraph (move-language#760)

  Show description for f976503
  amnn

  authored
  f976503

  Copy full SHA for f976503

Commits on Jan 22, 2023

• [README] Fix Discord invite so badge is updated (move-language#834)

  Show description for 843f383
  gregnazario

  authored
  843f383

  Copy full SHA for 843f383

• [move-prover] special casing havoc in reach-def annalysis

  Show description for 61b3aa7
  meng-xu-cs

  committed
  61b3aa7

  Copy full SHA for 61b3aa7

Commits on Jan 20, 2023

• [prover] Added a Boogie model for vector::insert function (move-language#831)

  Show description for 20a9e02
  awelc

  authored
  20a9e02

  Copy full SHA for 20a9e02

Commits on Jan 19, 2023

• Cherry-pick the fix of limit instantiation recursion for all type instantiation onto main (move-language#816)

  Show description for 5101dd2
  

  rahxephon89

  and

  Dario Russi

  authored
  5101dd2

  Copy full SHA for 5101dd2

• allow global var to be assigned in spec blocks. (move-language#830)

  rahxephon89

  authored
  5518d31

  Copy full SHA for 5518d31

• add support for spec funs (move-language#782)

  rahxephon89

  authored
  8004e48

  Copy full SHA for 8004e48

• fixup! [move-prover] model type_name::get in stdlib

  meng-xu-cs

  committed
  867b0bc

  Copy full SHA for 867b0bc

• [move-prover] model type_name::get in stdlib

  Show description for 7e060fd
  meng-xu-cs

  committed
  7e060fd

  Copy full SHA for 7e060fd

Commits on Jan 18, 2023

• [5/x][move-package/lock] Re-use test packages for multiple test kinds (move-language#759)

  Show description for 1b01835
  amnn

  authored
  1b01835

  Copy full SHA for 1b01835

• [4/x][move-package/lock] Fix error message from parse_package_manifest (move-language#754)

  Show description for a04b890
  amnn

  authored
  a04b890

  Copy full SHA for a04b890

• [3/x][move-package/lock] Refactor move-package test-runner (move-language#753)

  Show description for 85504a6
  amnn

  authored
  85504a6

  Copy full SHA for 85504a6

• [RFC][2/x][move-package/lock] Extend handling of Dependency subdir (move-language#745)

  Show description for 2663ff2
  amnn

  authored
  2663ff2

  Copy full SHA for 2663ff2

Commits on Jan 17, 2023

• [absint] Bring back associated error type (move-language#824)

  Show description for 3b20af5
  tnowacki

  authored
  3b20af5

  Copy full SHA for 3b20af5

• [move-prover] check data invariants for a &mut param ...

  Show description for b4406fd
  meng-xu-cs

  committed
  b4406fd

  Copy full SHA for b4406fd

Commits on Jan 10, 2023

• Cherry-pick onto main (move-language#813)

  Show description for 469a6be
  

  rahxephon89

  and

  vgao1996

  authored
  469a6be

  Copy full SHA for 469a6be

• [movey] Scrub integrations into Movey APIs from Move codebase (move-language#808)

  Show description for 0736cbc
  amnn

  authored
  0736cbc

  Copy full SHA for 0736cbc

Commits on Jan 7, 2023

• Testing limit scenarios (move-language#779)

  dariorussi

  authored
  8656a59

  Copy full SHA for 8656a59

Commits on Jan 6, 2023

• [language] add catch_unwind panic handling (move-language#750)

  Show description for e7e42d9
  

  runtian-zhou

  and

  chen-robert

  authored
  e7e42d9

  Copy full SHA for e7e42d9

• fixup! fixup! [move-prover] data invariant assume and assertion for &mut params

  meng-xu-cs

  committed
  7742d4d

  Copy full SHA for 7742d4d

• fixup! [move-prover] data invariant assume and assertion for &mut params

  meng-xu-cs

  committed
  83db9ea

  Copy full SHA for 83db9ea

• [move-prover] data invariant assume and assertion for &mut params

  Show description for a7c3345
  meng-xu-cs

  committed
  a7c3345

  Copy full SHA for a7c3345

Commits on Jan 5, 2023

• [bytecode verifier] Simplify reference safety abstract state (move-language#794)

  Show description for 4c622fd
  tnowacki

  authored
  4c622fd

  Copy full SHA for 4c622fd

Commits on Jan 1, 2023

• Move vector<u64> easy casting to rust Vec<u64> (move-language#773)

  Show description for 990db0b
  zjma

  authored
  990db0b

  Copy full SHA for 990db0b

Commits on Dec 29, 2022

• number operation analysis (move-language#713)

  rahxephon89

  authored
  430691d

  Copy full SHA for 430691d

Commits on Dec 28, 2022

• [stdlib] add vector::insert (move-language#767)

  Show description for 9c7fe06
  sblackshear

  authored
  9c7fe06

  Copy full SHA for 9c7fe06

Commits on Dec 20, 2022

• [compiler] Fix instantiation of field types with type parameters (move-language#764)

  Show description for fc6589a
  tnowacki

  authored
  fc6589a

  Copy full SHA for fc6589a

• [verifier] add version-gating to type instantiation check (move-language#762)

  Show description for 5c26ce8
  sblackshear

  authored
  5c26ce8

  Copy full SHA for 5c26ce8

• [1/x][move-package/lock] Preparing for Lock file (move-language#741)

  Show description for 92404f3
  amnn

  authored
  92404f3

  Copy full SHA for 92404f3

Commits on Dec 19, 2022

• [misc] add Move logo images (move-language#709)

  sblackshear

  authored
  a237982

  Copy full SHA for a237982

• [tools] print imports, fully qualified function names in disassembler (move-language#757)

  Show description for a8e95cb
  sblackshear

  authored
  a8e95cb

  Copy full SHA for a8e95cb

• [verifier] check type instantiations behind a reference or inside vector generics (move-language#758)

  Show description for 78a9e2b
  sblackshear

  authored
  78a9e2b

  Copy full SHA for 78a9e2b

Commits on Dec 18, 2022

• [move-prover] only allow move types when computing type insts for axioms

  meng-xu-cs

  committed
  781c844

  Copy full SHA for 781c844

Commits on Dec 16, 2022

• [move-prover] explicit well-formed assumption after havoc

  Show description for 70c811f
  meng-xu-cs

  committed
  70c811f

  Copy full SHA for 70c811f

• fix field native panic (move-language#751)

  rahxephon89

  authored
  f20e04d

  Copy full SHA for f20e04d

Pagination

Previous

Next