8000 Commits · rabib/move · GitHub

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

Commits

Commits on Oct 21, 2022

[vm] Allow to determine whether the loader cache is invalid (#610)
wrwg
authored

Commits on Oct 20, 2022

[prover] Resurrect generic axioms for axiomatizing native functions (#601)
wrwg
authored

Commits on Oct 19, 2022

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

Commits on Oct 17, 2022

[cherry-pick] Fuzzing setup & other smaller things (#587)

authored

Commits on Oct 16, 2022

[move-prover] Deactivate verification of ceil because it times out (#584)
wrwg
authored

Commits on Oct 7, 2022

Commits on Sep 30, 2022

[vm] Fixes (#522)
wrwg
authored

Commits on Sep 26, 2022

Commits on Sep 23, 2022

[serializer] Fixing issues in serialization

wrwg
authored and
davidiw
committed

Commits on Sep 14, 2022

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

Commits on Sep 5, 2022

Commits on Aug 12, 2022

[vm] Allow to access module metadata (#376)
wrwg
authored

Commits on Aug 9, 2022

[packages] New dependency type 'node' + custom package info properties (#357)
wrwg
authored

Commits on Aug 6, 2022

[move-on-evm] Clarify in the readme that this is an experimental feature. (#349)
wrwg
authored

Commits on Aug 5, 2022

[vm] Add ability for adapter to observe module loader cache hits (#341)
wrwg
authored

Commits on Aug 4, 2022

[vm] Invalidate and flush code loader cache (#334)

wrwg
and
Wolfgang Grieskamp
authored

Commits on Jul 23, 2022

[vm] Allow module publishing skipping compatability checks. (#296)

wrwg
and
Wolfgang Grieskamp
authored

Commits on Jul 22, 2022

[vm] Allow access to native extensions via the session. (#293)

wrwg
and
Wolfgang Grieskamp
authored

Commits on Jul 13, 2022

[stdlib] Simplified generic error code module. (#252)

wrwg
and
Wolfgang Grieskamp
authored
[vm] Allow native functions to reflect over the stack frame context. (#265)

wrwg
and
Wolfgang Grieskamp
authored

Commits on Jul 8, 2022

[stdlib] UTF8 String type (#237)
wrwg
authored

Commits on Jul 6, 2022

[unit-test] Allow extensions used for unit testing to live outside of Move repo (#245)
wrwg
authored

Commits on Jun 2, 2022

[prover] Implementation of Tables. (#173)
wrwg
authored

Commits on Jun 1, 2022

[tutorial] Cleanup (#175)
wrwg
authored

Commits on May 17, 2022

[file-format] Introduce metadata in file format (unused for now) (#123)
wrwg
authored

Commits on May 12, 2022

[unit-tests] Make failing Move unit tests fail embedding Rust tests (#125)
wrwg
authored

Commits on May 8, 2022

[move-prover] Disable prover test which fails on smaller machines. (#114)

wrwg
and
Wolfgang Grieskamp
authored

Commits on May 7, 2022

[evm] Contract modules and storage parameters (part 2) (#110)
wrwg
authored

Commits on May 5, 2022

[evm] Contract modules and storage parameters (1st step) (#99)
wrwg
authored

Commits on Apr 19, 2022

[repo] Remove workspace hack. (#55)
wrwg
authored

Commits on Apr 17, 2022

[ci] Run CI on merge commit instead of head commit (#22)
wrwg
authored

Commits on Apr 13, 2022

[move-lang][vm] Allow non-`'static` native context extensions. (#3)
wrwg
authored

0