Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

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

Commits on Dec 14, 2022

• Limits for defs in a module (move-language#723)

  dariorussi

  authored
  4fd4510

  Copy full SHA for 4fd4510

Commits on Dec 13, 2022

• [debug] print std::ascii::String as string (move-language#739)

  Show description for fcb75d8
  sblackshear

  authored
  fcb75d8

  Copy full SHA for fcb75d8

Commits on Dec 12, 2022

• [prover] Fix for incorrect generation of old values (move-language#736)

  Show description for 265e879
  awelc

  authored
  265e879

  Copy full SHA for 265e879

• [cli] remove the need to pass --filter to move test (move-language#740)

  Show description for 06f190e
  sblackshear

  authored
  06f190e

  Copy full SHA for 06f190e

Commits on Dec 11, 2022

• [move book & move-book-zh] fix pipe sign rendering (move-language#737)

  Show description for a3aff9d
  

  geometryolife

  and

  Joe Chen

  authored
  a3aff9d

  Copy full SHA for a3aff9d

Commits on Dec 9, 2022

• [move-book and move-book-zh] update generics (move-language#530)

  Show description for a6d4626
  

  3 peopleauthored
  a6d4626

  Copy full SHA for a6d4626

Commits on Dec 8, 2022

• [move-prover] convert borrow analysis with interprocedural absint

  Show description for 796ddf2
  meng-xu-cs

  committed
  796ddf2

  Copy full SHA for 796ddf2

• [docs] update coding conventions for error codes (move-language#715)

  Show description for fd2c570
  sblackshear

  authored
  fd2c570

  Copy full SHA for fd2c570

• [move-prover] test case for mutually recursive functions

  meng-xu-cs

  committed
  e41ac9e

  Copy full SHA for e41ac9e

• [move-prover] do not emit error on recursive functions

  meng-xu-cs

  committed
  11df349

  Copy full SHA for 11df349

• [move-prover] propogate the scc group info into each processor

  meng-xu-cs

  committed
  451bff8

  Copy full SHA for 451bff8

• [move-prover] prepare the borrow analysis for inter-procedure absint

  Show description for 8117efe
  meng-xu-cs

  committed
  8117efe

  Copy full SHA for 8117efe

• [move-prover] allow annotations to mark whether a fixedpoint is reached

  Show description for 82193ae
  meng-xu-cs

  committed
  82193ae

  Copy full SHA for 82193ae

• [move-prover] deterministic ordering of worklist with recursive calls

  Show description for 68cc30a
  meng-xu-cs

  committed
  68cc30a

  Copy full SHA for 68cc30a

• [session] Expose type_to_type_tag (move-language#728)

  Show description for 7921f5d
  tnowacki

  authored
  7921f5d

  Copy full SHA for 7921f5d

Commits on Dec 7, 2022

• [loader] Fixed a node counting problem (move-language#726)

  awelc

  authored
  59c5c48

  Copy full SHA for 59c5c48

Commits on Dec 6, 2022

• [verifier] remove treat_friend_as_private from the verifier config

  vgao1996

  committed
  2ef24ba

  Copy full SHA for 2ef24ba

Commits on Dec 5, 2022

• [compiler] Added info about function attributes as annotations (move-language#714)

  awelc

  authored
  81d19fc

  Copy full SHA for 81d19fc

• [Prover] Generalize handling of native methods in borrow checker (move-language#679)

  Show description for 4d6f7b9
  awelc

  authored
  4d6f7b9

  Copy full SHA for 4d6f7b9

• [vm] Cherry-picking multiple fixes for reliability to main (cherry-pick of move-language#718) (move-language#719)

  Show description for 702fef1
  

  3 peopleauthored
  702fef1

  Copy full SHA for 702fef1

• [core-types] derive Default for U256

  vgao1996

  committed
  3694792

  Copy full SHA for 3694792

• [vm] fix fuzzing for vm values

  vgao1996

  committed
  3d475b7

  Copy full SHA for 3d475b7

Commits on Dec 4, 2022

• [vm] Some reliability fixes (cherry-pick move-language#703) (move-language#710)

  Show description for 2195c73
  

  3 peopleauthored
  2195c73

  Copy full SHA for 2195c73

Commits on Dec 3, 2022

• Update references.md (move-language#712)

  Show description for 4dc0d2e
  0x0918

  authored
  4dc0d2e

  Copy full SHA for 4dc0d2e

Commits on Dec 2, 2022

• [move-compiler] Simple optimizations (move-language#691)

  Show description for f04e002
  tnowacki

  authored
  f04e002

  Copy full SHA for f04e002

Commits on Nov 30, 2022

• Remove dead link to defunct project (move-language#705)

  alnoki

  authored
  c42a482

  Copy full SHA for c42a482

Pagination

Previous

Next