Skip to content
This repository has been archived by the owner on May 4, 2024. It is now read-only.

Pushing Move-on-aptos upstream #1113

Merged
merged 306 commits into from
May 1, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
306 commits
Select commit Hold shift + click to select a range
c984d90
Update deprecated dependencies (#9485)
gregnazario Sep 7, 2023
79413cc
remove id (#9944)
rahxephon89 Sep 12, 2023
4399c54
Fix Issue 6907: A verifier failure related to inline functions (#9954)
brmataptos Sep 12, 2023
f49f290
[compiler v2] Populate module use information (#10011)
wrwg Sep 12, 2023
029d208
add MOVE_COMPILER_DEBUG and MOVE_TEST_DEBUG env vars to add more info…
brmataptos Sep 12, 2023
ebeed6a
Use bytes in StateValue and WriteSet
msmouse Sep 1, 2023
76df359
[move] Add error msgs for a few error types (#10000)
runtian-zhou Sep 13, 2023
ea942f3
[move-vm] Log stacktrace for natives (#9936)
runtian-zhou Sep 14, 2023
cab5177
[dep] moving testing features out from dependencies
zekun000 Sep 13, 2023
28d4b2d
Adding a new test case to demonstrate issue #9694 has been fixed. (#1…
vineethk Sep 15, 2023
0e6d8c7
Bump dunce from 1.0.3 to 1.0.4 (#10156)
dependabot[bot] Sep 21, 2023
2c991a0
[move] Add error messages for linker error #9999
Sep 14, 2023
ba32eae
update
Sep 15, 2023
8994927
[move] fix error when dumping bytecode for smart contracts with inlin…
aalok-t Sep 22, 2023
5ad2525
Bump evm from 0.33.1 to 0.36.0 (#10162)
dependabot[bot] Sep 22, 2023
226168d
Fix issue 9410 by removing special-case hack to suppress unknown attr…
brmataptos Sep 22, 2023
53a9acd
[move] make vm clonable
zekun000 Sep 18, 2023
64bc50c
WarmVmCache
msmouse Sep 20, 2023
eb6f883
Fix Issue 9717 by breaking critical edges in CFG in move-compiler (v1…
brmataptos Sep 26, 2023
86f0df5
[move-vm] Refactor Loader (#9320)
runtian-zhou Sep 26, 2023
2e8ba4f
[Rust] Upgrade to Rust version 1.72.1
JoshLind Sep 27, 2023
11bfd6b
[move-model] fix internal assertion violation in definition analysis …
aalok-t Sep 29, 2023
0fe5f80
[move unit tests] Run extended checker as part of unit tests (#10309)
wrwg Oct 2, 2023
730081c
[Compiler] remove an unnecessary assertion in visibility translation …
rahxephon89 Oct 12, 2023
ead72dd
Warn about use of #[deprecated] functions, modules, etc. (#10319)
brmataptos Oct 12, 2023
8d7f421
[move_vm] Fix loader dependency check (#10497)
runtian-zhou Oct 16, 2023
25d5394
[move-vm] Fix compatibility issue (#10549)
runtian-zhou Oct 17, 2023
a0b9e2f
Limit the maximum identifier length (#10502)
junkil-park Oct 22, 2023
4287939
[Compiler v2] Prefer specific Ld* over LdConst (#10588)
fEst1ck Oct 23, 2023
118db7a
Introduce efficient and parallel DelayedFields used for aggregator_v2…
igor-aptos Oct 24, 2023
5f8f22e
[cleanup] Fix minor aggregator issues
georgemitenkov Oct 24, 2023
c1b8423
[cleanup] Improve natives, remove extra aggregator location info (#10…
georgemitenkov Oct 24, 2023
ccca0a6
Upgrade Arbitrary Dependency
zi0Black Oct 25, 2023
ed53d7d
Revert "Upgrade Arbitrary Dependency"
zi0Black Oct 25, 2023
b003278
[fuzzing] Upgrade Arbitrary Dependency (#10667)
zi0Black Oct 25, 2023
dfb5018
[move-vm] Remove hashmap (#10672)
runtian-zhou Oct 27, 2023
25dc06f
fix storage_error alert (#10683)
igor-aptos Oct 28, 2023
015d966
[compiler v2] Resource access control (read-write sets) (#10480)
wrwg Oct 29, 2023
3c1fa3a
[Adapter][Executor] New resource group integration (#10514)
gelash Oct 30, 2023
8b5d687
Visibility Analysis for compiler v2 (#10627)
vineethk Oct 31, 2023
94a2936
fix typo in README.md
fEst1ck Oct 14, 2023
8664437
[Fuzzing] Add AptosVM fuzzer (#10297)
khokho Nov 6, 2023
787cb35
add v2 (#10829)
rahxephon89 Nov 9, 2023
b638fb8
[compiler v2] Reorganize bytecode Operation for better documentation …
wrwg Nov 9, 2023
3199f60
[gas] make gas meter more resilient (#10604)
vgao1996 Nov 13, 2023
b95fa56
[compiler v2] Pulls out fixes from #10544 to unblock testing (#10887)
wrwg Nov 14, 2023
166bb91
[doc] Adding PR guidelines (#10767)
wrwg Nov 14, 2023
ed4106f
[compiler-v2] Fix evaluation order for pack expressions (#10682)
fEst1ck Nov 15, 2023
f133b27
[Bug] Fix issue 10468 (#10526)
fEst1ck Nov 16, 2023
dd7dec9
[compiler v2] Fixing bug in spec block analysis (#10922)
wrwg Nov 16, 2023
bb4abc7
rename StacklessControlFlowGraph::is_dummmy() to is_dummy() (#10501)
aquynh Nov 16, 2023
621d5bc
[compiler v1] Better compiler error messages (#9222) (#10505)
fEst1ck Nov 17, 2023
ebef292
add a backtrace on diagnostic Severity::Bug or if MOVE_COMPILER_DEBUG…
brmataptos Nov 17, 2023
1eea686
Add some unit tests and bug fixes for compiler v2 (#10881)
rahxephon89 Nov 22, 2023
71a06eb
[Compiler-v2] Bug fixes in serializer, compiled unit and enable compi…
rahxephon89 Nov 22, 2023
6552b39
[compiler v2] Make type inference complete in the presence of structs…
wrwg Nov 22, 2023
844e175
Fixing documentation for function types. (#10970)
vineethk Nov 22, 2023
4c533cd
[compiler v2] Fix bug in mutability conversion and higher-order funct…
wrwg Nov 22, 2023
9d213a4
[documentation] fix MD link issue (#10870) (#11003)
aalok-t Nov 23, 2023
1daa396
Implement inlining in move-compiler-v2: (#10835)
brmataptos Nov 23, 2023
7a0ba3a
Fixing a panic when parsing move code containing `/**/`
vineethk Nov 23, 2023
c0c1600
[compiler v2] Remove unnecessary restrictions + other bug fixes (#11077)
wrwg Nov 27, 2023
ba610ee
[move-vm] A few perf optimizations for the loader (#10596)
runtian-zhou Nov 27, 2023
f5dff2c
Fix move parse errors when parsing lambda expressions and function ty…
vineethk Nov 28, 2023
85a9230
[compiler v2] Reference safety analysis (#10728)
wrwg Nov 28, 2023
a3468d2
add v2 (#11104)
rahxephon89 Nov 28, 2023
d24a275
fix-constant-and-ghost-mem (#11101)
rahxephon89 Nov 29, 2023
7efbcae
Comparison testing tool (#10412)
rahxephon89 Dec 3, 2023
ed89892
fix block pattern (#11166)
rahxephon89 Dec 5, 2023
1225364
[compiler-v2] v1-v2 test inventory tooling and data (#11174)
wrwg Dec 5, 2023
84318c0
[Compiler-v2] Fix #11210 (#11212)
rahxephon89 Dec 6, 2023
3136bda
[compiler-v2] Implement constant folding for const initializers in V2…
brmataptos Dec 7, 2023
044e63f
Add 'inlined from' annotations to locations in diagnostics about code…
brmataptos Dec 7, 2023
593a57d
[compiler v2] Relaxing copy restrictions on `&mut` (#11213)
wrwg Dec 7, 2023
d1cef64
[compiler-v2] Fixes a bug in borrow graph shrinking (#11250)
wrwg Dec 9, 2023
09c3789
Force left to right function arg evaluation. (#11156)
vineethk Dec 9, 2023
7cbea3a
[compiler] implement for loop (#10711)
aalok-t Dec 11, 2023
3e914f4
fix vector constant (#11275)
rahxephon89 Dec 12, 2023
58517b6
Turn off v1 comparison in v2 transactional tests if MOVE_TEST_DEBUG i…
brmataptos Dec 12, 2023
e139549
Quick fix to avoid too-aggressive move promotion of Assign (Issue 111…
brmataptos Dec 12, 2023
60324bb
support high level requirements table for document generation (#11201)
aalok-t Dec 12, 2023
40ecb2a
[compiler-v2] Fixing a bug with propagation of phantom type parameter…
wrwg Dec 13, 2023
7e82d5d
add title for module spec (#11317)
rahxephon89 Dec 13, 2023
2878c02
Fix move-compiler-transactional-tests to also inline functions from p…
brmataptos Dec 13, 2023
a486f2a
Reducing the number of temp variables generated by Move compiler (#11…
vineethk Dec 14, 2023
5b100c9
[docgen] Update table generation (#11328)
aalok-t Dec 14, 2023
a582e11
update (#11320)
aalok-t Dec 15, 2023
68721ba
[Compiler V2] Implement ability check (#11119)
fEst1ck Dec 16, 2023
1a7bf56
[move_vm] Split out module cache from loader (#10860)
runtian-zhou Dec 16, 2023
3d93a89
Remaining High-level requirements tables (#11386)
aalok-t Dec 17, 2023
ece012f
[move] Remove unused module cache in utils (#11398)
georgemitenkov Dec 19, 2023
514d759
Fixing an issue with common namespace for all scripts being compiled.…
vineethk Dec 19, 2023
87f331a
fix (#11371)
rahxephon89 Dec 20, 2023
df763bc
[compiler] Fix handling of lambda _ parameters in move-compiler-v1 (#…
brmataptos Dec 20, 2023
71d0897
[compiler] Add a Loc to Param and TypeParam in Move Model (#11281)
brmataptos Dec 21, 2023
e1f5af6
fix (#11449)
rahxephon89 Dec 21, 2023
b90a63f
[compiler] Clean up Move-Model AST visitors and exp_rewriter interfac…
brmataptos Dec 21, 2023
8f8ba44
[Rust] Upgrade to rust 1.74.1
JoshLind Dec 15, 2023
22d98fb
[Compiler-v2] Generate a compiler error for global memory operation w…
rahxephon89 Dec 21, 2023
e1ae60f
[compiler-v2] Generating code for `Destroy` and fixing related bugs (…
wrwg Dec 22, 2023
290f8a0
[compiler-v2] Enable aptos transactional tests for debugging (#11493)
wrwg Dec 22, 2023
4ba481b
[compiler-v2] Fixes an issues in file format gen if temp is used twic…
wrwg Dec 22, 2023
818fd74
[compiler v2] Generate friend handles in CompiledModule (#11497)
wrwg Dec 22, 2023
37b18d2
[doc] Replaced 'Property' with 'Requirement' in the high-level requir…
junkil-park Dec 22, 2023
d91a387
fix for loop bug (#11425)
aalok-t Dec 23, 2023
a392397
[compiler] Add function_checker to do various checks pre-inlining. (#…
brmataptos Dec 23, 2023
9314df7
[compiler-v2] Fixes an issue in post-processing of exp_builder (#11499)
wrwg Dec 23, 2023
0575812
[compiler-v2] Only aggressively copy if type has drop ability (#11510)
wrwg Dec 23, 2023
3c72a19
[compiler v2] Release locals which are introduced but die in the sam…
wrwg Dec 25, 2023
adee487
[refactoring] Fix more instances of non-canonical PartialOrd implemen…
vineethk Dec 29, 2023
1cca427
[Prover] Upgraded the Boogie version from 3.0.1 to 3.0.9 (#11530)
junkil-park Jan 3, 2024
8e88a63
[dep] upgrade serde and serde-reflection (#11137)
ibalajiarun Jan 4, 2024
d329100
[compiler-v2] Fixes a bug in file-format generator and a bug in bytec…
wrwg Jan 4, 2024
efd14fe
[compiler-v2] Addressing open issues with #11519 (#11568)
wrwg Jan 6, 2024
32227b8
[move][vm] Use PartialVMError for Move resolvers (#11533)
georgemitenkov Jan 9, 2024
2fecc80
[aggregator][vm] Change VMStatus to PartialVMError where possible (#1…
georgemitenkov Jan 9, 2024
e38fe77
Bump evm from 0.36.0 to 0.41.1 (#11544)
dependabot[bot] Jan 9, 2024
d0cda12
[Spec] Fixed a minor issue about the high-level requirement label (#1…
junkil-park Jan 9, 2024
36995ba
[move][vm][block-stm] Fix error types for resolvers (#11593)
georgemitenkov Jan 15, 2024
3f08e7c
[compiler-v2] Speedup topological sort of call graph (#11650)
vineethk Jan 16, 2024
e4819dd
heed MOVE_COMPILER_V2 env var for all aptos compilation, also reduce …
brmataptos Jan 17, 2024
ec99a7d
fix (#11631)
rahxephon89 Jan 17, 2024
f75180e
[Prover] fix #11534 (#11645)
rahxephon89 Jan 17, 2024
719f966
Sort move-model (and move-compiler-v2) diagnostics by location (#11675)
brmataptos Jan 18, 2024
561d446
[compiler] More tests for "for" loops (#11584)
brmataptos Jan 18, 2024
f29cfa9
[compiler v2] Copy Propagation Optimization (#11598)
vineethk Jan 20, 2024
38945dc
[compiler-v2] Fix issues around drop/destroy (#11701)
wrwg Jan 23, 2024
991cce2
[compiler-v2] Invalid friend declaration warnings (#11733)
vineethk Jan 24, 2024
1836150
[compiler-v2] Implement uninitialized use checker. (#11729)
vineethk Jan 24, 2024
119ceb8
[compiler-v2] Unreachable code analysis and unreachable code removal …
vineethk Jan 29, 2024
c5ec28c
Updating the status of v1-v2 test porting (#11764)
vineethk Jan 29, 2024
88f6aa6
[Rust] Upgrade to rust 1.75.0
JoshLind Jan 25, 2024
e3b6b2a
add MOVE_COMPILER_DUMP environment variable to initialize --dump-byte…
brmataptos Jan 30, 2024
ea78a08
[move-compiler-v2] Implement unused parameter and unused local warnin…
brmataptos Jan 31, 2024
9f0046a
Improve Diagnostic ordering further for multiple diagnostics with som…
brmataptos Jan 31, 2024
022c3c2
[move] Remove natives for vector (#11775)
georgemitenkov Feb 1, 2024
7be091b
[Compiler-v2] Fix type checking issue due to name conflicts between b…
rahxephon89 Feb 1, 2024
a68d0f6
add constraints (#11834)
rahxephon89 Feb 1, 2024
774371a
[Compiler V2] Derive abstract domain (#11674)
fEst1ck Feb 1, 2024
9f48148
Revert "fix type checking issue due to name conflicts" (#11848)
rahxephon89 Feb 1, 2024
584dae4
[agg_v2] Make Aggregator-derived Strings have constant width (byte si…
igor-aptos Feb 1, 2024
16dd2a8
[compiler-v2] Adding logging to the compiler (#11840)
wrwg Feb 2, 2024
9b061d7
[compiler v2] Fixing log specification file separator char (#11874)
wrwg Feb 2, 2024
e291125
Fix Issue #11850 by extending move-model AST visitor to be able to ho…
brmataptos Feb 6, 2024
840b35b
cleaning up aggregators part 2 (#11939)
igor-aptos Feb 8, 2024
7de85b3
[compiler-v2] Add Bytecode verification at the end of compilation (#1…
vineethk Feb 8, 2024
6dcb1b5
[Prover] Added the Prover test for the Diem Framework package (#11875)
junkil-park Feb 12, 2024
4bf27d6
[move][aggregator] Native (delayed) value (#11768)
georgemitenkov Feb 13, 2024
81e7159
[Compiler V2] [Bugfix] Exit state analysis and ability checking on ab…
fEst1ck Feb 14, 2024
1786485
[move-vm] Cache verified modules (#12002)
runtian-zhou Feb 15, 2024
b6eb357
Cherry-pick VM changes (#12021)
vgao1996 Feb 15, 2024
9a34f08
Move all visibility checking into AST-level function_checker, simplif…
brmataptos Feb 16, 2024
ba5fd4a
[Compiler V2] Critical edge elimination (#11894)
fEst1ck Feb 20, 2024
fa06b2e
[vm] Resource access control: runtime engine (#10544)
wrwg Feb 21, 2024
d4c7bcf
[Compiler-v2] porting more V1 unit tests to V2 (#12085)
rahxephon89 Feb 22, 2024
0cc2006
[compiler v2] New Borrow Analysis (#11892)
wrwg Feb 22, 2024
d99d462
[compiler-v2] Refactoring of ability instrumentation and checking (#1…
wrwg Feb 26, 2024
363d412
[compiler v2] Fix equalities, FreezeRef conversion (#12162)
wrwg Feb 27, 2024
f352c1a
Move test out of no-safety. (#12248)
vineethk Feb 27, 2024
d240ae3
[compiler-v2] Variable coalescing optimization (#11968)
vineethk Feb 28, 2024
64cc955
fix-12077 (#12265)
rahxephon89 Feb 28, 2024
bb527e1
Move unit tests should use default Feature flags (#12284)
igor-aptos Feb 29, 2024
7bba7e8
Add feature flag for removing detailed error from hash calcution
areshand Jan 29, 2024
1398262
add read for error code
areshand Feb 5, 2024
d2fd97c
fix (#12272)
rahxephon89 Feb 29, 2024
d8a35df
randomness #8: framework update from randomnet (#12228)
zjma Mar 1, 2024
5ca4738
[compiler-v2] Improvements in type unification error messages (#12274)
wrwg Mar 2, 2024
9058d2a
[Compiler-v2] Fix issue 12121 (#12316)
rahxephon89 Mar 4, 2024
a969383
[move] Resurrecting script to perform CI-like checks locally (#12353)
wrwg Mar 4, 2024
5463876
Cherry-pick: limits & gas for dependencies (#12166)
vgao1996 Mar 5, 2024
6a929a7
[compiler-v2] Lambda lifting + first steps towards a pipeline for ast…
wrwg Mar 7, 2024
8306581
[move] scripts and entry functions should not return values (#11979)
georgemitenkov Mar 7, 2024
d9a7fbb
[Compiler-v2] Fix issue 12309 (#12332)
rahxephon89 Mar 7, 2024
5871883
Fix INSUFFICIENT_BALANCE_FOR_TRANSACTION_FEE description (#12439)
igor-aptos Mar 9, 2024
6db2482
[compiler-v2] Fix bug in tuple assignments. (#12412)
vineethk Mar 9, 2024
c43d1c5
fix (#12433)
rahxephon89 Mar 9, 2024
35a25f4
fix (#12448)
rahxephon89 Mar 11, 2024
6c1736d
[comparison-testing-tool] Add more features to the comparison testing…
rahxephon89 Mar 13, 2024
2f89d35
[move-compiler-v2] Implement AST Simplification to solve #10850 (#11553)
brmataptos Mar 13, 2024
360c5d0
[Compiler] Fix parse error when parsing for loops
WGB5445 Mar 13, 2024
a6e5e11
[randomness] Add entry function annotation (#12134)
georgemitenkov Mar 13, 2024
e06af74
[compiler-v2] Making v2 the basis of the prover (step #1) (#12462)
wrwg Mar 13, 2024
6721c3c
use ast::Value equivalence, not enum equality, to do constant folding…
brmataptos Mar 15, 2024
5b49e82
[Compiler V2] Check recursive struct definitions (#12257)
fEst1ck Mar 16, 2024
efe0c70
Limit number of DelayedFields (aggregators) per resource (#12583)
igor-aptos Mar 19, 2024
aab9ab9
[Compiler-v2] Check mutable borrows of immutable refs (#12470)
rahxephon89 Mar 20, 2024
83cd22e
fix (#12575)
rahxephon89 Mar 20, 2024
81c7001
[Compiler V2] Check recursive type instantiation (#12360)
fEst1ck Mar 20, 2024
5b19f1a
Adding several new transactional tests using LLMs (#12578)
vineethk Mar 20, 2024
6f99168
Test cases fix: move non abort cases before the aborting one. (#12595)
vineethk Mar 20, 2024
4fe56f6
Adding tests to show we can create large const vectors. (#12592)
vineethk Mar 20, 2024
8c7b21f
[compiler-v2] Enabling default stackless bytecode optimization pipeli…
vineethk Mar 20, 2024
c00013b
Removing duplicate call to cyclic instantiation checker. (#12612)
vineethk Mar 20, 2024
ea6b234
update TOO_MANY_DELAYED_FIELDS error code (#12603)
igor-aptos Mar 20, 2024
6118e85
[prover-v2] Connecting Prover to v2 code generation toolchain (#12534)
wrwg Mar 21, 2024
c61f79e
[doc] Fix documentation warnings for rustdoc (#12619)
gregnazario Mar 21, 2024
fafb449
[compiler-v2] Reorganize experiments and tests (#12637)
wrwg Mar 22, 2024
45001d7
[Compiler-v2] Insertion of freeze operation when converting from mut …
rahxephon89 Mar 23, 2024
7835131
[move] Improvements for error propagation (#11656)
georgemitenkov Mar 25, 2024
a470b73
add $ to the end of filename regexps to avoid matching backup files l…
brmataptos Mar 25, 2024
ce53b77
add a test to show that ref_cell is cloned correctly (#12662)
brmataptos Mar 25, 2024
17db67e
Fix display bug in output of disassembled code (#12646)
vineethk Mar 25, 2024
40092c8
[compiler-v2] Fix variable coalescing bug and modify optimization pip…
vineethk Mar 26, 2024
952d8b9
[compiler-v2] Receiver functions (#12223)
wrwg Mar 26, 2024
c76dba7
Removing unnecessary exp files in compiler v2 tests (#12699)
vineethk Mar 27, 2024
565353e
[compiler-v2] Add bytecode verification to reference safety tests (#1…
wrwg Mar 27, 2024
853b616
[compiler-v2] Fix file format codegen bug when writing to the same de…
vineethk Mar 27, 2024
6332589
[compiler-v2] A simple optimization reducing unnecessary temp creatio…
wrwg Mar 28, 2024
30382e4
[compiler-v2] Finishing refactoring of abilities + type checker overh…
wrwg Mar 29, 2024
48dbc15
[compiler-v2] Introduces custom rules for checking the freeze operati…
wrwg Mar 30, 2024
9bc09ff
[Dependencies] Small removal of unused deps.
JoshLind Mar 28, 2024
67c6a93
add test case (#12769)
rahxephon89 Apr 2, 2024
ab53bd5
[compiler-v2] Adapt reference safety to quirks of v1 bytecode verifie…
wrwg Apr 3, 2024
c61d69d
[compiler-v2] Acquire Analysis (#12665)
fEst1ck Apr 3, 2024
162e3bd
[compiler-v2] Introduce language version (#12784)
wrwg Apr 4, 2024
855e324
[Compiler-v2] Treat unit as tuple in type constraints (#12794)
rahxephon89 Apr 4, 2024
2e73b1f
Add compile_test_code flag to V2, plus tests for unit_test, attribute…
brmataptos Apr 5, 2024
36f32db
[compiler-v2] Optimize/bug fix in file format gen when "live after ch…
vineethk Apr 5, 2024
0f779d7
fix function call ref (#12829)
rahxephon89 Apr 9, 2024
64ab22d
[compiler-v2] Adding full compiler pipeline to many test configs (#12…
vineethk Apr 10, 2024
38788a7
[Compiler-v2] check access for structs (#12821)
rahxephon89 Apr 10, 2024
05a8fdc
Bump whoami from 1.4.1 to 1.5.0 (#12808)
dependabot[bot] Apr 11, 2024
49db325
Handle move-compiler-v2/tests mappings between V1's move_check/unit_t…
brmataptos Apr 11, 2024
0952e2c
chore: fix some typos (#12460)
racerole Apr 12, 2024
34c2891
[Compiler-V2] Unused type parameter checking (#12806)
fEst1ck Apr 12, 2024
046dac3
add multiple license files, preferring ASCII-only Copyright notices b…
brmataptos Apr 12, 2024
5867ad4
[compiler-v2] Preserve wildcard assignments during stackless bytecode…
vineethk Apr 12, 2024
4bc7c26
fix (#12881)
rahxephon89 Apr 13, 2024
88f332b
Add plan_builder for compiler-v2 and use it (#12850)
brmataptos Apr 14, 2024
19fc3e8
[Compiler-v2][VM] Add compilation metadata and mainnet check (#12814)
rahxephon89 Apr 15, 2024
f60e600
[Compiler-v2] Migrate more V1 tests (#12763)
rahxephon89 Apr 16, 2024
096115a
deposit in prologue and refund in epilogue to prevent undergasing att…
zjma Apr 17, 2024
0011cfc
improve err msg
fEst1ck Apr 20, 2024
d00033b
chore: remove repetitive words (#12962)
ChengenH Apr 22, 2024
fab3f8c
bug fix
Apr 22, 2024
32c33af
remove stray old .exp files (#12956)
brmataptos Apr 22, 2024
1e0fa08
[Compiler-v2] fix name conflicts when multiple scripts have functions…
rahxephon89 Apr 23, 2024
4470725
fix source map for parameters, re-enable disassembler use of source m…
brmataptos Apr 24, 2024
9369b2d
[resource-viewer] Add metering to resource viewer (#12969)
runtian-zhou Apr 24, 2024
ee19efd
Extended the Move native function set for `transaction_context` (#11843)
junkil-park Apr 24, 2024
9d35469
Migrate from Coin to Fungible Asset (#11224)
lightmark Apr 24, 2024
7208a4e
remove StateKey::access_path() (#13020)
msmouse Apr 25, 2024
c8d89b2
[aptos-framework] Dispatchable Token Standard (#12635)
runtian-zhou Apr 25, 2024
fb3ae1a
Use model generated by V2 in extended_check (#12954)
rahxephon89 Apr 25, 2024
a5eab4a
[move] Workspace dependencies (#13037)
wrwg Apr 27, 2024
4998932
Add more features to better test move-compiler-v2 support, and remove…
brmataptos Apr 29, 2024
7a1d48e
randomness api v0 (#13040)
zjma Apr 29, 2024
0920342
bug fix (#13117)
fEst1ck Apr 29, 2024
64f5086
[Compiler-v2] Relax check on whether a local can be written (#12890)
rahxephon89 Apr 30, 2024
11bc159
Pushing Move on aptos upstream
wrwg May 1, 2024
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
The diff you're trying to view is too large. We only load the first 3000 changed files.
1 change: 1 addition & 0 deletions .cargo/config
Original file line number Diff line number Diff line change
Expand Up @@ -19,6 +19,7 @@ xclippy = [
"-Aclippy::enum-variant-names",
"-Aclippy::result-large-err",
"-Aclippy::mutable-key-type",
"-Aclippy::map-identity",
]

[target.x86_64-pc-windows-msvc]
Expand Down
1 change: 0 additions & 1 deletion .github/actions/build-setup/action.yml
Original file line number Diff line number Diff line change
Expand Up @@ -61,6 +61,5 @@ runs:
- id: rust-environment
shell: bash
run: |
echo 'RUST_BACKTRACE=1' | tee -a $GITHUB_ENV
echo 'DIEM_DUMP_LOGS=1' | tee -a $GITHUB_ENV
echo 'CARGO_INCREMENTAL=0' | tee -a $GITHUB_ENV
250 changes: 58 additions & 192 deletions .github/workflows/ci-pre-land.yml
Original file line number Diff line number Diff line change
Expand Up @@ -70,64 +70,64 @@ jobs:
run: cargo test --workspace --profile ci
- uses: ./.github/actions/build-teardown

hardhat-tests:
runs-on: ubuntu-latest
timeout-minutes: 30
needs: prepare
env:
# Default is 2mb which is not enough for Move compiler in debug mode, so we up it to 16mB
RUST_MIN_STACK: 16000000
# if: ${{ needs.prepare.outputs.test-rust == 'true' }}
steps:
- uses: actions/[email protected]
- uses: ./.github/actions/build-setup
- uses: Swatinem/rust-cache@c5ed9ba6b7e1bb8aff90d43acd2f0af4990fa57c
- name: compile and install move-cli
run: "cargo install --features evm-backend --path language/tools/move-cli"
- name: set up hardhat-move
working-directory: language/evm/hardhat-move
run: "npm install"
- name: compile hardhat-move
working-directory: language/evm/hardhat-move
run: "npm run build"
- name: set up hardhat
working-directory: language/evm/hardhat-examples
run: "./setup.sh"
- name: run hardhat tests
working-directory: language/evm/hardhat-examples
run: "npx hardhat test"
# TODO: reenable this once we figure a way to keep package-lock.json stable.
# - uses: ./.github/actions/build-teardown

move-cli-tests-evm:
runs-on: ubuntu-latest
timeout-minutes: 30
needs: prepare
env:
# Default is 2mb which is not enough for Move compiler in debug mode, so we up it to 16mB
RUST_MIN_STACK: 16000000
steps:
- uses: actions/[email protected]
- uses: ./.github/actions/build-setup
- uses: Swatinem/rust-cache@c5ed9ba6b7e1bb8aff90d43acd2f0af4990fa57c
- name: run EVM-based move cli tests
run: "echo skipped"
#run: "cargo test --features evm-backend -p move-cli --test build_testsuite_evm --test move_unit_tests_evm" TODO: reenable

move-unit-test-framework-tests-evm:
runs-on: ubuntu-latest
timeout-minutes: 30
needs: prepare
env:
# Default is 2mb which is not enough for Move compiler in debug mode, so we up it to 16mB
RUST_MIN_STACK: 16000000
steps:
- uses: actions/[email protected]
- uses: ./.github/actions/build-setup
- uses: Swatinem/rust-cache@c5ed9ba6b7e1bb8aff90d43acd2f0af4990fa57c
- name: run EVM-based move unit test framework tests
run: "echo skipped"
# run: "cargo test --features evm-backend -p move-unit-test --test move_unit_test_testsuite" TODO: reenable
# hardhat-tests:
# runs-on: ubuntu-latest
# timeout-minutes: 30
# needs: prepare
# env:
# # Default is 2mb which is not enough for Move compiler in debug mode, so we up it to 16mB
# RUST_MIN_STACK: 16000000
# # if: ${{ needs.prepare.outputs.test-rust == 'true' }}
# steps:
# - uses: actions/[email protected]
# - uses: ./.github/actions/build-setup
# - uses: Swatinem/rust-cache@c5ed9ba6b7e1bb8aff90d43acd2f0af4990fa57c
# - name: compile and install move-cli
# run: "cargo install --features evm-backend --path language/tools/move-cli"
# - name: set up hardhat-move
# working-directory: language/evm/hardhat-move
# run: "npm install"
# - name: compile hardhat-move
# working-directory: language/evm/hardhat-move
# run: "npm run build"
# - name: set up hardhat
# working-directory: language/evm/hardhat-examples
# run: "./setup.sh"
# - name: run hardhat tests
# working-directory: language/evm/hardhat-examples
# run: "npx hardhat test"
# # TODO: reenable this once we figure a way to keep package-lock.json stable.
# # - uses: ./.github/actions/build-teardown

# move-cli-tests-evm:
# runs-on: ubuntu-latest
# timeout-minutes: 30
# needs: prepare
# env:
# # Default is 2mb which is not enough for Move compiler in debug mode, so we up it to 16mB
# RUST_MIN_STACK: 16000000
# steps:
# - uses: actions/[email protected]
# - uses: ./.github/actions/build-setup
# - uses: Swatinem/rust-cache@c5ed9ba6b7e1bb8aff90d43acd2f0af4990fa57c
# - name: run EVM-based move cli tests
# run: "echo skipped"
# #run: "cargo test --features evm-backend -p move-cli --test build_testsuite_evm --test move_unit_tests_evm" TODO: reenable

# move-unit-test-framework-tests-evm:
# runs-on: ubuntu-latest
# timeout-minutes: 30
# needs: prepare
# env:
# # Default is 2mb which is not enough for Move compiler in debug mode, so we up it to 16mB
# RUST_MIN_STACK: 16000000
# steps:
# - uses: actions/[email protected]
# - uses: ./.github/actions/build-setup
# - uses: Swatinem/rust-cache@c5ed9ba6b7e1bb8aff90d43acd2f0af4990fa57c
# - name: run EVM-based move unit test framework tests
# run: "echo skipped"
# # run: "cargo test --features evm-backend -p move-unit-test --test move_unit_test_testsuite" TODO: reenable

diem-framework-build-all-packages:
runs-on: ubuntu-latest
Expand Down Expand Up @@ -174,126 +174,6 @@ jobs:
run: "echo skipped"
# run: "language/documentation/examples/diem-framework/prove_all.sh" TODO: reenable

# Disable benchmarks for now
# Compile (but don't run) the benchmarks, to insulate against bit rot
# build-benchmarks:
# runs-on: ubuntu-latest
# timeout-minutes: 30
# needs: prepare
# if: ${{ needs.prepare.outputs.test-rust == 'true' }}
# steps:
# - uses: actions/[email protected]
# - uses: ./.github/actions/build-setup
# - uses: actions/[email protected]
# with:
# path: "/opt/cargo/git\n/opt/cargo/registry\n/opt/cargo/.package-cache"
# key: crates-${{ runner.os }}-${{ hashFiles('Cargo.lock') }}
# restore-keys: "crates-${{ runner.os }}"
# - name: build benchmarks
# run: cargo x bench --no-run
# - uses: ./.github/actions/build-teardown
#
# perf-benchmarks:
# name: run-perf-benchmarks
# runs-on: ubuntu-latest
# timeout-minutes: 30
# needs:
# - prepare
# - build-benchmarks
# env:
# CRITERION_HOME: /tmp/benches
# steps:
# - uses: actions/[email protected]
# - uses: actions/[email protected]
# with:
# path: "/opt/cargo/git\n/opt/cargo/registry\n/opt/cargo/.package-cache"
# key: crates-${{ runner.os }}-${{ hashFiles('Cargo.lock') }}
# restore-keys: "crates-${{ runner.os }}"
# - name: Download the previous baseline
# continue-on-error: true
# uses: actions/download-artifact@v2
# with:
# name: bench-baseline
# - name: Run performance benchamrks
# run: |
# # Replace this with a cargo x bench
# cargo bench --package language-benchmarks
# - name: Archive criterion results
# uses: actions/upload-artifact@v2
# with:
# name: bench-baseline
# retention-days: 5
# path: |
# /tmp/benches

test-move-analyzer-vscode-extension:
name: Test VS Code extension for move-analyzer
strategy:
fail-fast: false
matrix:
os: [ubuntu-20.04, macos-11, windows-2022]
runs-on: ${{ matrix.os }}
needs:
- prepare
steps:
- uses: actions/[email protected]
- name: Install rust toolchain
uses: actions-rs/toolchain@v1
- name: Install lld
uses: knicknic/[email protected]
with:
linux: sudo apt-get -y install lld
- name: Use Node.js 14
uses: actions/[email protected]
with:
node-version: "14"
- name: Install NPM dependencies
working-directory: language/move-analyzer/editors/code
run: npm install
- name: Build the extension
working-directory: language/move-analyzer/editors/code
run: npm run pretest
- name: Test the extension
# VS Code tests require display output. This action simulates such a
# display, using Xvfb. (It's roughly equivalent to prefixing the 'run'
# commands below with `xvfb-run <command>`.) Without a simulated display
# such as this one, the tests would fail with the error message:
# "Unable to open X display."
uses: GabrielBB/[email protected]
with:
working-directory: language/move-analyzer/editors/code
run: npm run test

release-move-analyzer-vscode-extension:
name: Release VS Code extension for move-analyzer
runs-on: ubuntu-20.04
needs:
- prepare
steps:
- uses: actions/[email protected]
- name: Install rust toolchain
uses: actions-rs/toolchain@v1
- name: Install lld
run: sudo apt-get -y install lld
- name: Use Node.js 14
uses: actions/[email protected]
with:
node-version: "14"
- name: Install NPM dependencies
working-directory: language/move-analyzer/editors/code
run: npm install
- name: Build the extension
working-directory: language/move-analyzer/editors/code
run: npm run pretest
- name: Package the extension
working-directory: language/move-analyzer/editors/code
run: npm run package
- name: Upload VS Code extension
uses: actions/upload-artifact@v2
with:
name: move-analyzer-vscode-extension
path: language/move-analyzer/editors/code/move-analyzer.vsix

check-for-broken-links:
name: Check for broken links in files
runs-on: ubuntu-latest
Expand All @@ -313,17 +193,3 @@ jobs:
# # Don't look in git or target dirs. Don't check png, bib, tex, js, or shell files
# # We allow links to be redirects, allow duplicates, and we also allow Too Many Requests (429) errors
# find . -not \( -path "./.git*" -prune \) -not \( -path "./target" -prune \) -type f -not -name "*.png" -not -name "*.ai" -not -name "*.jpg" -not -name "*.svg" -not -name "*.sh" -not -name "*.bib" -not -name "*.tex" -not -name "*.js" -not -name "package-lock.json" | while read arg; do awesome_bot --allow-redirect --allow-dupe --allow 429 --skip-save-results $arg; done

build-move-cli-docker-image:
name: Build Docker image for the Move CLI
runs-on: ubuntu-latest
needs:
- prepare
steps:
- uses: actions/[email protected]
- name: Build Dockerfile
run: "docker build -t move/cli -f docker/move-cli/Dockerfile ."
- name: Build BasicCoin Move module
run: |
cd ./language/documentation/tutorial/step_1/BasicCoin
docker run -v `pwd`:/project move/cli build
Loading
Loading