8000 Commits · davidiw/move · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Dec 24, 2022

[move-vm] expose metadata to session
davidiw
committed

Commits on Dec 20, 2022

[compiler] Fix instantiation of field types with type parameters (#764)
tnowacki
authored
[verifier] add version-gating to type instantiation check (#762)
sblackshear
authored
[1/x][move-package/lock] Preparing for Lock file (#741)
amnn
authored

Commits on Dec 19, 2022

[misc] add Move logo images (#709)
sblackshear
authored
[tools] print imports, fully qualified function names in disassembler (#757)
sblackshear
authored
[verifier] check type instantiations behind a reference or inside vector generics (#758)
sblackshear
authored

Commits on Dec 18, 2022

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

Commits on Dec 16, 2022

Commits on Dec 14, 2022

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

Commits on Dec 13, 2022

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

Commits on Dec 12, 2022

Commits on Dec 11, 2022

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

geometryolife
and
Joe Chen
authored

Commits on Dec 9, 2022

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

authored

Commits on Dec 8, 2022

Commits on Dec 7, 2022

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

Commits on Dec 6, 2022

[verifier] remove treat_friend_as_private from the verifier config
vgao1996
committed

Commits on Dec 4, 2022

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

authored

Commits on Dec 3, 2022

Update references.md (#712)
0x0918
authored

Commits on Dec 2, 2022

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

0