This repository was archived by the owner on May 4, 2024. It is now read-only.

thanks#1089

Open

RxuqZ256 wants to merge 379 commits intomove-language:Clay-Mysten-patch-1from

This pull request is big! We're only showing the most recent 250 commits

Commits on Aug 26, 2022

Added more tests.

leofisG
authored and
vgao1996
committed
Added more tests.

leofisG
authored and
vgao1996
committed
Improved docs.

leofisG
authored and
vgao1996
committed
Fixed nit.

leofisG
authored and
vgao1996
committed
Fixed docs.

leofisG
authored and
vgao1996
committed

Commits on Aug 28, 2022

[move-stdlib] fix vector docs (#414)
geometryolife
authored

Commits on Aug 30, 2022

Commits on Aug 31, 2022

Commits on Sep 1, 2022

Commits on Sep 5, 2022

Commits on Sep 6, 2022

explain error when publishing in bundle mode (#445)

JerryKwan
and
JerryKwan
authored

Commits on Sep 7, 2022

Commits on Sep 8, 2022

Commits on Sep 10, 2022

[move-prover] switch src/dst pair for the havoc operator (#467)
meng-xu-cs
authored

Commits on Sep 13, 2022

[clippy] Fix clippy rename warning (#476)
gregnazario
authored

Commits on Sep 14, 2022

[compatibility] Relax compatibility for friends (#479)
wrwg
authored

Commits on Sep 15, 2022

[move-prover] allow recursive move function
meng-xu-cs
committed

Commits on Sep 16, 2022

[move-unit-test] Add an option for printing out the writeset. (#484)
runtian-zhou
authored

Commits on Sep 23, 2022

[serializer] Fixing issues in serialization

wrwg
authored and
davidiw
committed

Commits on Sep 24, 2022

Commits on Sep 25, 2022

[move-package] Update cached git packages to latest state automatically (#471)
gregnazario
authored

Commits on Sep 29, 2022

[move-package] Fix git depencency refresh fetch (#513)
gregnazario
authored

Commits on Sep 30, 2022

Commits on Oct 5, 2022

Commits on Oct 6, 2022

Commits on Oct 9, 2022

[tests] add type safety tests for vec_pack_n and vec_unpack_n for n > 0 (#562)
sblackshear
authored

Commits on Oct 11, 2022

[rfc][bytecode verifier] simplifications enabled by 'return on first error' discipline (#561)
sblackshear
authored

Commits on Oct 12, 2022

add documentation for number literal underscores (#565)
oxade
authored

Commits on Oct 13, 2022

Commits on Oct 14, 2022

Commits on Oct 16, 2022

Commits on Oct 17, 2022

Commits on Oct 18, 2022

[move-analyzer] fix a typo (#590)
geometryolife
authored

Commits on Oct 19, 2022

[prover] Adding a test to validate whether axiomatized natives work (#599)
wrwg
authored

Commits on Oct 20, 2022

Commits on Oct 21, 2022

Commits on Oct 24, 2022

Commits on Oct 25, 2022

[build] switch to lld on linux
vgao1996
committed

Commits on Oct 26, 2022

[Prover] Added more pragmas for the intrinsic table (#625)
junkil-park
authored

Commits on Oct 27, 2022

u16, u32, u256 support (#547)
oxade
authored

Commits on Oct 28, 2022

Commits on Oct 29, 2022

fix632 (#634)
rahxephon89
authored

Commits on Oct 30, 2022

Update the Z3 version to the latest one (4.11.2) (#637)
junkil-park
authored

Commits on Oct 31, 2022

[docgen] displays "entry" in the function headers of entry functions (#638)
junkil-park
authored

Commits on Nov 1, 2022

Show Gas Used In Unit Tests & Allow Client Supplied Gas Cost Table (#616)
oxade
authored

Commits on Nov 3, 2022

Update rust to 1.65 (#644)
tnowacki
authored

Commits on Nov 4, 2022

[build] Added additional diagnostics for fetching deps (#643)
awelc
authored

Commits on Nov 6, 2022

Commits on Nov 7, 2022

Commits on Nov 8, 2022

[Prover] Disable the nonlinear test cases that cause timeouts in CI (#649)
junkil-park
authored

Commits on Nov 9, 2022

[Prover] Added support for new primitive types to arithmetic ops (#658)
awelc
authored

Commits on Nov 11, 2022

[EASY][Bytecode] Expose size of Module Cache (#666)

amnn
and
Ashok Menon
authored

Commits on Nov 13, 2022

ensure script locals are checked (#19)

zekun000
authored and
davidiw
committed
prevent the VM from crashing due to trying to drop a local stack with references

vgao1996
authored and
davidiw
committed
Add config for limiting type instantiation and basic blocks

runtian-zhou
authored and
davidiw
committed

Commits on Nov 14, 2022

[move-vm][value-impl] Fix serialization case for vecu16,u32,u256 (#672)
tnowacki
authored

Commits on Nov 17, 2022

Commits on Nov 18, 2022

[bytecode-verifier] Avoid unwraps were possible when in release mode (#676)
wrwg
authored

Commits on Nov 21, 2022

Commits on Nov 23, 2022

Commits on Nov 29, 2022

Commits on Nov 30, 2022

Commits on Dec 2, 2022

[move-compiler] Simple optimizations (#691)
tnowacki
authored

Commits on Dec 3, 2022

Update references.md (#712)
0x0918
authored

Commits on Dec 4, 2022

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

authored

Commits on Dec 6, 2022

[verifier] remove treat_friend_as_private from the verifier config
vgao1996
committed

Commits on Dec 7, 2022

[loader] Fixed a node counting problem (#726)
awelc
authored

Commits on Dec 8, 2022

Commits on Dec 9, 2022

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

authored

Commits on Dec 11, 2022

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

geometryolife
and
Joe Chen
authored

Commits on Dec 12, 2022

Commits on Dec 13, 2022

[debug] print `std::ascii::String` as string (#739)
sblackshear
authored

Commits on Dec 14, 2022

Limits for defs in a module (#723)
dariorussi
authored

Commits on Dec 16, 2022

Commits on Dec 18, 2022

[move-prover] only allow move types when computing type insts for axioms
meng-xu-cs
committed

Commits on Dec 19, 2022

Commits on Dec 20, 2022

Commits on Dec 28, 2022

[stdlib] add `vector::insert` (#767)
sblackshear
authored

Commits on Dec 29, 2022

number operation analysis (#713)
rahxephon89
authored

Commits on Jan 1, 2023

Move vector<u64> easy casting to rust Vec<u64> (#773)
zjma
authored

Commits on Jan 5, 2023

[bytecode verifier] Simplify reference safety abstract state (#794)
tnowacki
authored

Commits on Jan 7, 2023

Testing limit scenarios (#779)
dariorussi
authored

Commits on Jan 10, 2023

Commits on Jan 17, 2023

Commits on Jan 20, 2023

[prover] Added a Boogie model for vector::insert function (#831)
awelc
authored

Commits on Jan 22, 2023

Commits on Jan 23, 2023

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

Commits on Feb 6, 2023

[move-prover] collect types in write-back chain for mono analysis
meng-xu-cs
committed

Commits on Feb 13, 2023

add support for insert (#878)
rahxephon89
authored

Commits on Feb 16, 2023

Commits on Feb 20, 2023

revise spec (#908)
rahxephon89
authored

Commits on Feb 22, 2023

Commits on Feb 24, 2023

[table] clean up unused enum

lightmark
authored and
vgao1996
committed

Commits on Feb 27, 2023

add borrow-mut spec (#939)
rahxephon89
authored

Commits on Mar 4, 2023

[Prover] Declare the memory variables for type parameters in the generated boogie file (#958)
junkil-park
authored

Commits on Mar 10, 2023

Commits on Mar 14, 2023

Commits on Mar 28, 2023

Fix typo (#1015)
fEst1ck
authored

Commits on Apr 12, 2023

[bug fix] Remove incorrect overflow guard (#1034)
tnowacki
authored

Commits on Jun 9, 2023

Commits on Jul 4, 2023

Update abilities.md

ghpZ54K8ZRwU62zGVSePPs97yAv9swuAY0mVDR4
authored and
wrwg
committed

Commits on Jul 8, 2023

Update functions.md (#1065)
benbackend
authored

Commits on Aug 12, 2023

[move-compiler] Fixed abstract interpreter bug with continue statement (#1069)
ksolana
authored

Commits on Aug 19, 2023

Commits on Aug 21, 2023

[language] Fix the doc of CastU64

EarthCompass
authored and
wrwg
committed

Commits on Jan 1, 2024