Commits

Branch selector

 main

User selector

awelc

Datepicker

All time

Commit History

Commits on Feb 16, 2023

• [move] A cosmetic Prover cleanup (MystenLabs#8335)

  awelc

  authored
  d70f8dc

  Copy full SHA for d70f8dc

• [move] Adding support for Sui storage to the Prover (MystenLabs#7739)

  awelc

  authored
  1a96a5d

  Copy full SHA for 1a96a5d

Commits on Feb 9, 2023

• [move] Fixed generic object type handling in the Prover (via Move version bump_ (MystenLabs#8188)

  Show description for 6ccb8ff
  awelc

  authored
  6ccb8ff

  Copy full SHA for 6ccb8ff

Commits on Feb 7, 2023

• [move] A fix to prover's mono analysis via Move version bump (MystenLabs#8128)

  Show description for 8fe340f
  awelc

  authored
  8fe340f

  Copy full SHA for 8fe340f

Commits on Jan 31, 2023

• [move] Add Prover model for vector::insert via Move version bump (MystenLabs#7797)

  Show description for 9ba592b
  awelc

  authored
  9ba592b

  Copy full SHA for 9ba592b

Commits on Jan 30, 2023

• [move] Re-enabled bytecode verification of test code (MystenLabs#7792)

  Show description for db54868
  awelc

  authored
  db54868

  Copy full SHA for db54868

Commits on Jan 27, 2023

• [docs] Added documentation for Sui framework contributors (MystenLabs#7333)

  Show description for 0ba76f0
  awelc

  authored
  0ba76f0

  Copy full SHA for 0ba76f0

Commits on Dec 30, 2022

• [move] Changed how prover treats certain functions (MystenLabs#7063)

  awelc

  authored
  19ef530

  Copy full SHA for 19ef530

Commits on Dec 13, 2022

• [move] Additional Prover specs for Coin module (+ Move version bump) (MystenLabs#6751)

  Show description for a00a8a7
  awelc

  authored
  a00a8a7

  Copy full SHA for a00a8a7

Commits on Dec 9, 2022

• [move] Setting up Move Prover runs in CI (MystenLabs#6680)

  Show description for 9ca9269
  awelc

  authored
  9ca9269

  Copy full SHA for 9ca9269

Commits on Dec 8, 2022

• [move] Changes to get the Mover Prover to work (+ Move version bump) (MystenLabs#6202)

  Show description for b04b5a5
  awelc

  authored
  b04b5a5

  Copy full SHA for b04b5a5

Commits on Dec 6, 2022

• [move] Refactored dynamic fields natives work with Move Prover (MystenLabs#6200)

  Show description for db5a090
  awelc

  authored
  db5a090

  Copy full SHA for db5a090

Commits on Dec 1, 2022

• [tools] Refinements to object vector parsing (MystenLabs#6218)

  awelc

  authored
  6842904

  Copy full SHA for 6842904

Commits on Nov 28, 2022

• [move] Temporarily disable verification of test code (MystenLabs#6435)

  awelc

  authored
  433c537

  Copy full SHA for 433c537

Commits on Nov 10, 2022

• [move] Move prover fix via Move version bump (MystenLabs#6028)

  awelc

  authored
  82fb69f

  Copy full SHA for 82fb69f

• [move] Removed unnecessary parameter to transfer_internal (MystenLabs#5985)

  Show description for 7b1c3c1
  awelc

  authored
  7b1c3c1

  Copy full SHA for 7b1c3c1

Commits on Nov 9, 2022

• [move] Updated Boogie native function skeletons (MystenLabs#5962)

  awelc

  authored
  0bcc99e

  Copy full SHA for 0bcc99e

Commits on Nov 4, 2022

• "[move] Enabled Sui bytecode verification for test code" (MystenLabs#5732)

  Show description for 567de98
  awelc

  authored
  567de98

  Copy full SHA for 567de98

Commits on Nov 1, 2022

• [move] Add example of user code organized into multiple packages (MystenLabs#5676)

  Show description for fd95369
  awelc

  authored
  fd95369

  Copy full SHA for fd95369

Commits on Oct 24, 2022

• [move] Additional tests for entry function string arguments (Move version bump) (MystenLabs#5486)

  awelc

  authored
  e6fe290

  Copy full SHA for e6fe290

Commits on Oct 14, 2022

• [move] Extended txn testing framework to support vectors of objects (MystenLabs#5057)

  Show description for e4cfd67
  awelc

  authored
  e4cfd67

  Copy full SHA for e4cfd67

Commits on Oct 11, 2022

• [move] Relaxed one-time withess verfification rules (MystenLabs#5069)

  Show description for fd73b22
  awelc

  authored
  fd73b22

  Copy full SHA for fd73b22

Commits on Oct 8, 2022

• [move] Improved error message for init function parameters (MystenLabs#4985)

  awelc

  authored
  fa383ad

  Copy full SHA for fa383ad

Commits on Oct 7, 2022

• [move] Fixed framework version mismatch check via Move version bump (MystenLabs#5059)

  awelc

  authored
  4fee9e0

  Copy full SHA for 4fee9e0

Commits on Sep 27, 2022

• [Move] Added support for passing strings to entry functions (MystenLabs#4627)

  Show description for cbba1da
  awelc

  authored
  cbba1da

  Copy full SHA for cbba1da

Commits on Sep 14, 2022

• [Move] Fixed a problem with checking Sui framework mismatch (MystenLabs#4613)

  awelc

  authored
  ee595bb

  Copy full SHA for ee595bb

Commits on Sep 8, 2022

• [Move] Added support for object vectors to Sui JSON (MystenLabs#4526)

  Show description for f0d850d
  

  awelc

  and

  randall-Mysten

  authored
  f0d850d

  Copy full SHA for f0d850d

• [move] Enabled debug printing in code published on chain (+ Move version bump) (MystenLabs#4356)

  Show description for c8812ff
  awelc

  authored
  c8812ff

  Copy full SHA for c8812ff

Commits on Sep 7, 2022

• [move] Added support for passing vectors of objects to entry functions (MystenLabs#4349)

  Show description for d03bcb1
  awelc

  authored
  d03bcb1

  Copy full SHA for d03bcb1

Commits on Aug 17, 2022

• [docs] Added additional explanations (MystenLabs#4059)

  Show description for f1a7aed
  

  awelc

  and

  Clay-Mysten

  authored
  f1a7aed

  Copy full SHA for f1a7aed

Commits on Aug 15, 2022

• [move] Implemented detection of Move version mismatch (MystenLabs#3967)

  Show description for 4d6c11d
  awelc

  authored
  4d6c11d

  Copy full SHA for 4d6c11d

Commits on Aug 11, 2022

• [Move] Implemented one-type witness checking (MystenLabs#3771)

  Show description for a523c40
  

  awelc

  and

  damirka

  authored
  a523c40

  Copy full SHA for a523c40

Commits on Aug 2, 2022

• [sui-verifier] Added support for characteristic types (MystenLabs#3563)

  Show description for 7942def
  awelc

  authored
  7942def

  Copy full SHA for 7942def

Commits on Jul 13, 2022

• [docs] Update Move analyzer installation instructions (MystenLabs#3168)

  awelc

  authored
  67fb42b

  Copy full SHA for 67fb42b

Commits on Jul 7, 2022

• [Move CLI] Added prove command-line option (plus Move version bump) (MystenLabs#3078)

  awelc

  authored
  b9e15ed

  Copy full SHA for b9e15ed

Pagination

Previous

Next