Commits

Branch selector

 main

User selector

awelc

Datepicker

All time

Commit History

Commits on Apr 1, 2023

• [package-upgrades] Type param testing (MystenLabs#10271)

  Show description for 9593c1c
  awelc

  authored
  9593c1c

Commits on Mar 23, 2023

• [package-upgrades] Enforce max Move binary (bytecode) limit during module deserialization (MystenLabs#9393)

  Show description for 09c5a2f
  awelc

  authored
  09c5a2f

Commits on Mar 18, 2023

• [package-upgrades] Changes to Publish command (MystenLabs#9096)

  Show description for d5ef1b6
  

  awelc

  and

  amnn

  authored
  d5ef1b6

Commits on Mar 14, 2023

• [sui-framework] Added functions to update preactive/candidate validators (MystenLabs#9044)

  Show description for 11c28e6
  awelc

  authored
  11c28e6

Commits on Mar 7, 2023

• [docs] Update move-analyzer install instructions (MystenLabs#8872)

  Show description for 8ea514c
  

  awelc

  and

  ronny-mysten

  authored
  8ea514c

Commits on Feb 28, 2023

• [move] Added native verification of validator's metadata (MystenLabs#8671)

  Show description for 925f32d
  awelc

  authored
  925f32d

Commits on Feb 16, 2023

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

  awelc

  authored
  d70f8dc

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

  awelc

  authored
  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

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

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

Commits on Jan 30, 2023

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

  Show description for db54868
  awelc

  authored
  db54868

Commits on Jan 27, 2023

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

  Show description for 0ba76f0
  awelc

  authored
  0ba76f0

Commits on Dec 30, 2022

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

  awelc

  authored
  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

Commits on Dec 9, 2022

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

  Show description for 9ca9269
  awelc

  authored
  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

Commits on Dec 6, 2022

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

  Show description for db5a090
  awelc

  authored
  db5a090

Commits on Dec 1, 2022

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

  awelc

  authored
  6842904

Commits on Nov 28, 2022

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

  awelc

  authored
  433c537

Commits on Nov 10, 2022

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

  awelc

  authored
  82fb69f

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

  Show description for 7b1c3c1
  awelc

  authored
  7b1c3c1

Commits on Nov 9, 2022

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

  awelc

  authored
  0bcc99e

Commits on Nov 4, 2022

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

  Show description for 567de98
  awelc

  authored
  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

Commits on Oct 24, 2022

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

  awelc

  authored
  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

Commits on Oct 11, 2022

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

  Show description for fd73b22
  awelc

  authored
  fd73b22

Commits on Oct 8, 2022

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

  awelc

  authored
  fa383ad

Commits on Oct 7, 2022

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

  awelc

  authored
  4fee9e0

Commits on Sep 27, 2022

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

  Show description for cbba1da
  awelc

  authored
  cbba1da

Commits on Sep 14, 2022

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

  awelc

  authored
  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

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

  Show description for c8812ff
  awelc

  authored
  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

Pagination

PreviousNext