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

thanks #1089

Open
wants to merge 379 commits into
base: Clay-Mysten-patch-1
Choose a base branch
from
Open

thanks #1089

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
379 commits
Select commit Hold shift + click to select a range
8202581
Added more tests.
leofisG Aug 21, 2022
45706c6
Added more tests.
leofisG Aug 21, 2022
48ff05f
Improved docs.
leofisG Aug 21, 2022
245c2bf
Fixed nit.
leofisG Aug 21, 2022
3f862ab
Fixed docs.
leofisG Aug 21, 2022
bc57bf2
[move-stdlib] fix vector docs (#414)
geometryolife Aug 28, 2022
4a5ccd2
[move-compiler] implement the `#[verify_only]` attribute (#420)
meng-xu-cs Aug 30, 2022
a779142
update rust 1.63 & remove clippy TODO (#421)
uvd Aug 30, 2022
0b984f5
Restore more deleted (#428)
uvd Aug 31, 2022
a940c21
Update REAMDE.md (#424)
Manubi Aug 31, 2022
d0825b3
[move-prover] extract plain trace from boogie error reports (#430)
meng-xu-cs Sep 1, 2022
83fdb43
Support loop unrolling in Move prover backend (#415)
macalinao Sep 1, 2022
164bf33
[move-model] re-use the address map produced by move compiler (#429)
meng-xu-cs Sep 1, 2022
bdf2998
[move-book and move-book-zh] update signer (#409)
geometryolife Sep 3, 2022
dbccd8c
[book and move-book-zh] update vector (#412)
geometryolife Sep 3, 2022
d1d585c
[book and move-book-zh] update modules and scripts (#404)
geometryolife Sep 3, 2022
8b41ec1
[move-book-zh] add contributing guide (#400)
geometryolife Sep 3, 2022
6371f35
[move-book-zh] update address (#401)
geometryolife Sep 3, 2022
c540a0e
[move-book-zh] update global storage structure (#403)
geometryolife Sep 3, 2022
2b09e81
[book and move-book-zh] update move coding conventions (#407)
geometryolife Sep 3, 2022
86aedb3
[vm] Provide a feature flag to make linking of natives lazy. (#443)
wrwg Sep 5, 2022
4bdf8d3
[vm] Fix issue with lazy_natives feature (#447)
wrwg Sep 5, 2022
41d7e14
explain error when publishing in bundle mode (#445)
JerryKwan Sep 6, 2022
e1e647b
[move-test] Inclusion of debug module no longer gated by the testing …
awelc Sep 7, 2022
f982b26
[move-prover] preliminary support for type reflection (#451)
meng-xu-cs Sep 7, 2022
f57c130
[move-prover] model `type_of` which returns the struct tag triple (#462)
meng-xu-cs Sep 8, 2022
f3cba16
[docs] Explain feature request process in CONTRIBUTING.md (#461)
sblackshear Sep 8, 2022
e0dafc5
[move-prover] switch src/dst pair for the havoc operator (#467)
meng-xu-cs Sep 10, 2022
ab7e548
[move-model] make pragma parsing stateful
meng-xu-cs Sep 8, 2022
d795651
[move-model] allow intrinsic suites to be declared in struct spec
meng-xu-cs Sep 9, 2022
5743520
[move-prover] replace is_well_known on tables with is_intrinsic_of
meng-xu-cs Sep 11, 2022
d187ce3
[move-prover] fully parameterize the boogie tempalte for tables
meng-xu-cs Sep 12, 2022
e1d5b80
[move-prover] a testcase for multiple table implementations
meng-xu-cs Sep 12, 2022
51d4aa1
[binary format] fix signature token deserialization bug
vgao1996 Sep 12, 2022
0d8dff1
[clippy] Fix clippy rename warning (#476)
gregnazario Sep 13, 2022
26704b7
[compatibility] Relax compatibility for friends (#479)
wrwg Sep 14, 2022
1bfb1e7
[move-prover] allow recursive move function
meng-xu-cs Sep 15, 2022
5d71e06
[move-unit-test] Add an option for printing out the writeset. (#484)
runtian-zhou Sep 16, 2022
15bd307
Fix typo publis to public (#486)
jsbarrett Sep 19, 2022
be95435
[move-model] do not report errors when translating a non-pure fun to …
meng-xu-cs Sep 19, 2022
96d7dd6
fixing nits (#491)
davidiw Sep 19, 2022
0fe2e6c
[move-package] Upgrade named_lock from 0.1.1 to 0.2.0 (#482)
banool Sep 19, 2022
566ace5
[serializer] Fixing issues in serialization
wrwg Sep 23, 2022
97c41c3
[move-book and move-book-zh] update tuple (#490)
geometryolife Sep 24, 2022
f02feb2
[move-book and move-book-zh] update summary and remove english conten…
geometryolife Sep 24, 2022
22f016d
[move-package] Update cached git packages to latest state automatical…
gregnazario Sep 25, 2022
73d547a
[compatibility] Make struct removal violate layout compatibility (#501)
wrwg Sep 26, 2022
54d27fc
[move-bytecode-verifier] explicitly list all bytecode in acquires pass
meng-xu-cs Sep 25, 2022
d544088
[vm & test] Add CompatibilityConfig to session API for support custom…
jolestar Sep 26, 2022
db9b8cb
[verifier] Minor hardening against arithmetic overflow (#505)
wrwg Sep 26, 2022
949fd89
[interpreter] audit operand stack usage (#510)
sblackshear Sep 28, 2022
e35c5fb
[language/docs]: Fix a bug in in book/ability. (#514)
SuccinctPaul Sep 28, 2022
15ba014
[move-book and move-book-zh] update structs and resources chapter (#494)
geometryolife Sep 28, 2022
40c029b
Minor tutorial fixes (#488)
brson Sep 28, 2022
c20427f
[move-book and move-book-zh] update variables (#431)
geometryolife Sep 28, 2022
1b258a0
[move-package] Fix git depencency refresh fetch (#513)
gregnazario Sep 29, 2022
9888cfa
[Prover] fix the spec of `bit_vector::unset` (#521)
junkil-park Sep 30, 2022
3cef7fa
[vm] Fixes (#522)
wrwg Sep 30, 2022
536aa5c
[Prover] Bump up the version numbers of Boogie and Z3 (#520)
junkil-park Oct 4, 2022
0248b37
add new runtime status code
msmouse Oct 4, 2022
dc8c250
[move-vm] eliminate use of `std::mem::take` (#540)
sblackshear Oct 4, 2022
05678c0
[natives][loader] New API for fully annotated MoveTypeLayout (#527)
tnowacki Oct 4, 2022
743c82a
fix(move-cli): fix the case for `0x..0f` address in README file (#537)
saruman9 Oct 5, 2022
ae78e56
tests for: number lit underscore: https://github.com/move-language/mo…
oxade Oct 5, 2022
8bddbe6
[bytecode-verifier] fix an off-by-one error (#533)
runtian-zhou Oct 6, 2022
90151e5
more tests without type suffix (#550)
oxade Oct 6, 2022
10e921d
Fix conflict [move-book and move-book-zh] Fix zh translation #465 (#543)
geometryolife Oct 7, 2022
27e5171
[vm & test] Migrate the treat_friend_as_private to CompatibilityConfi…
jolestar Oct 7, 2022
7c8552e
[move-compiler] Fix optimizations blocked by warnings (#552)
tnowacki Oct 7, 2022
92d1d29
[verifier] Hardening reference analysis (cherry-pick #553) (#556)
wrwg Oct 7, 2022
c4c85ac
[compiler] Cherrypick: Resolve 0x1::vector functions to opcodes (#546)
wrwg Oct 7, 2022
9b85f4e
[tests] add type safety tests for vec_pack_n and vec_unpack_n for n >…
sblackshear Oct 9, 2022
26dbd60
[rfc][bytecode verifier] simplifications enabled by 'return on first …
sblackshear Oct 11, 2022
8e5aa4a
add documentation for number literal underscores (#565)
oxade Oct 12, 2022
d0b65a8
[bug fix] Fixed bug with natives in instantiation loop checker (#573)
tnowacki Oct 13, 2022
ae770c0
Fix disassembler to work with scripts (#545)
phankydn Oct 13, 2022
c6ce97e
[rust-toolchain] update rust toolchain to 1.64 (#497)
jiangying000 Oct 13, 2022
e9b0aed
[stdlib] add `type_name` module for type reflection (#566)
sblackshear Oct 14, 2022
c9b5765
[deps] update bcs to 1.4 (#576)
sblackshear Oct 14, 2022
f25b57d
[move-prover] Deactivate verification of ceil because it times out (#…
wrwg Oct 16, 2022
683dad6
[vm] Improve borrow graph updates efficiency (#582)
tnowacki Oct 16, 2022
a94c21c
filter spec_id (#583)
rahxephon89 Oct 16, 2022
1d9e6a6
[cherry-pick] Fuzzing setup & other smaller things (#587)
wrwg Oct 17, 2022
1e585f7
fix grammer error (#517)
JacobADevore Oct 17, 2022
dfc3440
[move-analyzer] fix a typo (#590)
geometryolife Oct 18, 2022
faa5342
[prover] Adding a test to validate whether axiomatized natives work (…
wrwg Oct 19, 2022
88a3797
[prover] Resurrect generic axioms for axiomatizing native functions (…
wrwg Oct 20, 2022
3ef3f1f
added support to print UTF8-encoded std::string::String's via std::de…
alinush Oct 19, 2022
280c89d
[vm] Allow to determine whether the loader cache is invalid (#610)
wrwg Oct 21, 2022
77fd749
prevent generating track_exp_sub for exps with free variables (#604)
rahxephon89 Oct 21, 2022
1ffd0a3
[test] Additions to txn testing framework to handle strings (#585)
awelc Oct 24, 2022
181e96f
[docgen] Fix `{{move-index}}` placeholder (#618)
wrwg Oct 24, 2022
b2ca65b
[build] switch to lld on linux
vgao1996 Oct 25, 2022
a0e8ea3
[Prover] Added more pragmas for the intrinsic table (#625)
junkil-park Oct 26, 2022
1795871
u16, u32, u256 support (#547)
oxade Oct 27, 2022
a22d4da
[move-vm] Refactor compatibility (#559)
jolestar Oct 28, 2022
6a9f1f7
[resolution][EASY] Fix missing space in error message (#628)
amnn Oct 28, 2022
3277f89
preserve previous enum order after addition of u16, u32, u256 (#629)
oxade Oct 28, 2022
36ac170
[move-compiler][crash fix] Removed unnecessary assert (#615)
tnowacki Oct 28, 2022
be52c71
[model] allow conversion of model reference types into normalized typ…
sblackshear Oct 28, 2022
95916b1
[gas] pass more info to the gas meter when calling functions
vgao1996 Oct 3, 2022
bf10d90
[gas] share even more info with the gas meter
vgao1996 Oct 4, 2022
71a04a0
fix632 (#634)
rahxephon89 Oct 29, 2022
922cecb
Update the Z3 version to the latest one (4.11.2) (#637)
junkil-park Oct 30, 2022
3174338
[docgen] displays "entry" in the function headers of entry functions …
junkil-park Oct 31, 2022
8cc98cb
Show Gas Used In Unit Tests & Allow Client Supplied Gas Cost Table (#…
oxade Nov 1, 2022
9eedce5
Update rust to 1.65 (#644)
tnowacki Nov 3, 2022
e2e1a41
[build] Added additional diagnostics for fetching deps (#643)
awelc Nov 4, 2022
1eba465
[Tutorial] fix a minor inconsistency with code in step_4 (#623)
wp-lai Nov 5, 2022
7d38d12
[move-cli] update description for 'move test --coverage' command (#620)
wp-lai Nov 5, 2022
7225a81
[bytecode utils] fix a few issues with struct layout generation (#635)
sblackshear Nov 5, 2022
8553d6e
[unit tests] Improve DevX of unit tests diagnosis (#641)
wrwg Nov 5, 2022
add615b
[native functions] adds pretty-printing to `std::debug::print` (#630)
alinush Nov 5, 2022
d3037b6
Add global state (#617)
rabib Nov 6, 2022
a515728
modify doc (#592)
rahxephon89 Nov 6, 2022
72bd71e
fix parser for new integers (#651)
oxade Nov 7, 2022
3ac0cd7
fix shift (#646)
rahxephon89 Nov 7, 2022
d05cfdd
[Prover] Disable the nonlinear test cases that cause timeouts in CI (…
junkil-park Nov 8, 2022
5597044
[Prover] Added support for new primitive types to arithmetic ops (#658)
awelc Nov 9, 2022
b21f565
[linker][new integer types] Fix missing case in dependency verifier (…
tnowacki Nov 10, 2022
b06525a
fix recursive function bug (#661)
rahxephon89 Nov 10, 2022
d21c656
[move-package] Don't update tag based git dependencies (#662)
gregnazario Nov 10, 2022
041592e
add support for all types in vectors (#659)
rahxephon89 Nov 10, 2022
c79b1f4
[EASY][Bytecode] Expose size of Module Cache (#666)
amnn Nov 11, 2022
7609373
ensure script locals are checked (#19)
zekun000 Nov 8, 2022
39f7784
prevent the VM from crashing due to trying to drop a local stack with…
vgao1996 Nov 9, 2022
c055a38
Add config for limiting type instantiation and basic blocks
runtian-zhou Nov 10, 2022
0800fc7
[move-vm][value-impl] Fix serialization case for vecu16,u32,u256 (#672)
tnowacki Nov 14, 2022
d4b5fa2
[binary-format] rename magic constants
vgao1996 Nov 7, 2022
7b22779
[binary-format] add deserialize_with_max_version for CompiledModule a…
vgao1996 Nov 7, 2022
3ca36f3
[vm] introduce VMConfig
vgao1996 Nov 7, 2022
c3b79f9
[vm] add option to specify max binary format
vgao1996 Nov 7, 2022
fc97f00
[byecode utils] make struct layout generation work with serdegen (#652)
sblackshear Nov 17, 2022
eaeeb79
[core-types] cherry-pick: Make TypeTag enum use less memory (#677)
vgao1996 Nov 17, 2022
6722242
[bytecode-verifier] Avoid unwraps were possible when in release mode …
wrwg Nov 18, 2022
60281e9
add mod to shift left (#655)
rahxephon89 Nov 21, 2022
f77ea38
General enum exhaustion, tests & U256 enhancements (#682)
oxade Nov 21, 2022
d80b5be
Alternative paranoid mode (#642)
runtian-zhou Nov 22, 2022
488868d
[prover] Fixing bug with generic axioms (#685)
wrwg Nov 22, 2022
95e21b8
Correct type enumeration typo (#686)
alnoki Nov 22, 2022
926c4a1
[unit-tests] Fix potential issue in unit tests (#633)
tnowacki Nov 22, 2022
5bb2ac5
[compiler] Fix off-by-one bug with errors present (#688)
tnowacki Nov 23, 2022
e8b27c5
support underscore separators in hex literals (#689)
oxade Nov 23, 2022
29e64a5
[move-model] two ways to test is_intrinsic
meng-xu-cs Nov 24, 2022
14f9419
[extension] remove redundant intrinsic decl
meng-xu-cs Nov 24, 2022
bc236bd
[move-prover] better type info scheme
meng-xu-cs Nov 22, 2022
1e7601c
[move-prover] add the spec_is_struct<T> function
meng-xu-cs Nov 23, 2022
e01d88a
fixup! [move-prover] add the spec_is_struct<T> function
meng-xu-cs Nov 23, 2022
22ce661
[move-prover] data invariants for map values
meng-xu-cs Nov 24, 2022
c40f995
[move-prover] customized encoding for map equality
meng-xu-cs Nov 26, 2022
4922506
[move-prover] axiom for relating table contains to length
meng-xu-cs Nov 26, 2022
a204d67
fixup! [move-prover] axiom for relating table contains to length
meng-xu-cs Nov 26, 2022
226d7a3
[1/2][binary/cfg] Relax backward-jump == loop back-edge requirement (…
amnn Nov 29, 2022
61416fd
[2/2][verify/cfg] Relax control_flow verifier in bytecode v6+ (#579)
amnn Nov 29, 2022
ace4af5
[cfg][BUGFIX] Check for empty code units on bytecode v5 and below. (#…
amnn Nov 30, 2022
c42a482
Remove dead link to defunct project (#705)
alnoki Nov 30, 2022
f04e002
[move-compiler] Simple optimizations (#691)
tnowacki Dec 2, 2022
4dc0d2e
Update references.md (#712)
0x0918 Dec 3, 2022
2195c73
[vm] Some reliability fixes (cherry-pick #703) (#710)
wrwg Dec 4, 2022
3d475b7
[vm] fix fuzzing for vm values
vgao1996 Nov 17, 2022
3694792
[core-types] derive Default for U256
vgao1996 Nov 17, 2022
702fef1
[vm] Cherry-picking multiple fixes for reliability to main (cherry-pi…
wrwg Dec 5, 2022
4d6f7b9
[Prover] Generalize handling of native methods in borrow checker (#679)
awelc Dec 5, 2022
81d19fc
[compiler] Added info about function attributes as annotations (#714)
awelc Dec 5, 2022
2ef24ba
[verifier] remove treat_friend_as_private from the verifier config
vgao1996 Dec 5, 2022
59c5c48
[loader] Fixed a node counting problem (#726)
awelc Dec 7, 2022
7921f5d
[session] Expose type_to_type_tag (#728)
tnowacki Dec 8, 2022
68cc30a
[move-prover] deterministic ordering of worklist with recursive calls
meng-xu-cs Nov 28, 2022
82193ae
[move-prover] allow annotations to mark whether a fixedpoint is reached
meng-xu-cs Dec 5, 2022
8117efe
[move-prover] prepare the borrow analysis for inter-procedure absint
meng-xu-cs Dec 6, 2022
451bff8
[move-prover] propogate the scc group info into each processor
meng-xu-cs Dec 6, 2022
11df349
[move-prover] do not emit error on recursive functions
meng-xu-cs Dec 7, 2022
e41ac9e
[move-prover] test case for mutually recursive functions
meng-xu-cs Dec 7, 2022
fd2c570
[docs] update coding conventions for error codes (#715)
sblackshear Dec 8, 2022
796ddf2
[move-prover] convert borrow analysis with interprocedural absint
meng-xu-cs Dec 8, 2022
a6d4626
[move-book and move-book-zh] update generics (#530)
geometryolife Dec 9, 2022
a3aff9d
[move book & move-book-zh] fix pipe sign rendering (#737)
geometryolife Dec 11, 2022
06f190e
[cli] remove the need to pass `--filter` to move test (#740)
sblackshear Dec 12, 2022
265e879
[prover] Fix for incorrect generation of old values (#736)
awelc Dec 12, 2022
fcb75d8
[debug] print `std::ascii::String` as string (#739)
sblackshear Dec 13, 2022
4fd4510
Limits for defs in a module (#723)
dariorussi Dec 14, 2022
f20e04d
fix field native panic (#751)
rahxephon89 Dec 16, 2022
70c811f
[move-prover] explicit well-formed assumption after havoc
meng-xu-cs Dec 16, 2022
781c844
[move-prover] only allow move types when computing type insts for axioms
meng-xu-cs Dec 17, 2022
78a9e2b
[verifier] check type instantiations behind a reference or inside vec…
sblackshear Dec 19, 2022
a8e95cb
[tools] print imports, fully qualified function names in disassembler…
sblackshear Dec 19, 2022
a237982
[misc] add Move logo images (#709)
sblackshear Dec 19, 2022
92404f3
[1/x][move-package/lock] Preparing for Lock file (#741)
amnn Dec 20, 2022
5c26ce8
[verifier] add version-gating to type instantiation check (#762)
sblackshear Dec 20, 2022
fc6589a
[compiler] Fix instantiation of field types with type parameters (#764)
tnowacki Dec 20, 2022
9c7fe06
[stdlib] add `vector::insert` (#767)
sblackshear Dec 28, 2022
430691d
number operation analysis (#713)
rahxephon89 Dec 29, 2022
990db0b
Move vector<u64> easy casting to rust Vec<u64> (#773)
zjma Jan 1, 2023
4c622fd
[bytecode verifier] Simplify reference safety abstract state (#794)
tnowacki Jan 5, 2023
a7c3345
[move-prover] data invariant assume and assertion for `&mut` params
meng-xu-cs Jan 3, 2023
83db9ea
fixup! [move-prover] data invariant assume and assertion for `&mut` p…
meng-xu-cs Jan 6, 2023
7742d4d
fixup! fixup! [move-prover] data invariant assume and assertion for `…
meng-xu-cs Jan 6, 2023
e7e42d9
[language] add catch_unwind panic handling (#750)
runtian-zhou Jan 6, 2023
8656a59
Testing limit scenarios (#779)
dariorussi Jan 7, 2023
0736cbc
[movey] Scrub integrations into Movey APIs from Move codebase (#808)
amnn Jan 10, 2023
469a6be
Cherry-pick onto main (#813)
rahxephon89 Jan 10, 2023
b4406fd
[move-prover] check data invariants for a &mut param ...
meng-xu-cs Jan 13, 2023
3b20af5
[absint] Bring back associated error type (#824)
tnowacki Jan 17, 2023
2663ff2
[RFC][2/x][move-package/lock] Extend handling of Dependency subdir (#…
amnn Jan 18, 2023
85504a6
[3/x][move-package/lock] Refactor move-package test-runner (#753)
amnn Jan 18, 2023
a04b890
[4/x][move-package/lock] Fix error message from parse_package_manifes…
amnn Jan 18, 2023
1b01835
[5/x][move-package/lock] Re-use test packages for multiple test kinds…
amnn Jan 18, 2023
7e060fd
[move-prover] model type_name::get in stdlib
meng-xu-cs Jan 13, 2023
867b0bc
fixup! [move-prover] model type_name::get in stdlib
meng-xu-cs Jan 17, 2023
8004e48
add support for spec funs (#782)
rahxephon89 Jan 19, 2023
5518d31
allow global var to be assigned in spec blocks. (#830)
rahxephon89 Jan 19, 2023
5101dd2
Cherry-pick the fix of limit instantiation recursion for all type ins…
rahxephon89 Jan 19, 2023
20a9e02
[prover] Added a Boogie model for vector::insert function (#831)
awelc Jan 20, 2023
61b3aa7
[move-prover] special casing havoc in reach-def annalysis
meng-xu-cs Jan 20, 2023
843f383
[README] Fix Discord invite so badge is updated (#834)
gregnazario Jan 22, 2023
f976503
[6/x][move-package/lock] LockFile and DependencyGraph (#760)
amnn Jan 23, 2023
4901410
[move-prover] collect types in write-back chain for mono analysis
meng-xu-cs Feb 6, 2023
0c9cb3a
add support for insert (#878)
rahxephon89 Feb 13, 2023
b9f3e7e
[move-prover] table intrinsic: bug fix and new intrinsic function
meng-xu-cs Feb 15, 2023
47fca2d
fixup! [move-prover] table intrinsic: bug fix and new intrinsic function
meng-xu-cs Feb 15, 2023
18f3b07
[move-prover] use custom borrow annotation for regular move functions
meng-xu-cs Feb 16, 2023
8ddfb7c
[move-prover] special case custom borrow natives in analysis
meng-xu-cs Feb 17, 2023
3b7543b
[move-prover] allow multiple type insts to pass through template
meng-xu-cs Feb 17, 2023
e4fa6bc
[move-prover] address comments on the boogie natives
meng-xu-cs Feb 18, 2023
94c681e
revise spec (#908)
rahxephon89 Feb 20, 2023
fbf339c
[Cherry-pick][Move-package] Enable bytecode as dependencies (#906)
rahxephon89 Feb 22, 2023
a783f72
[printing] fix bug in StructTag::struct_to_canonical_string (#918)
sblackshear Feb 22, 2023
640781b
restrict bytecode to build (#923)
rahxephon89 Feb 23, 2023
cd1234e
fix table instantiation bugs (#926)
rahxephon89 Feb 23, 2023
98c6b49
[package] Allow bytecode version to be set from input (#919)
gregnazario Feb 23, 2023
834a19c
fix typo (#927)
nkysg Feb 23, 2023
3528240
[table] clean up unused enum
lightmark Feb 23, 2023
171bc49
add borrow-mut spec (#939)
rahxephon89 Feb 27, 2023
74a7436
[Prover] Declare the memory variables for type parameters in the gene…
junkil-park Mar 4, 2023
fc1871b
[prover] fix reporting for escape analysis (#972)
sblackshear Mar 10, 2023
bbd5caf
[security] Cherry-picking recent security fixes from Aptos (#950)
wrwg Mar 10, 2023
134b745
[status code] add EXECUTION_LIMIT_REACHED, IO_LIMIT_REACHED and STORA…
vgao1996 Feb 21, 2023
47bb636
[vm] reserve status code for future use
zekun000 Feb 22, 2023
0151500
Fix typo (#1015)
fEst1ck Mar 28, 2023
dfef14a
[bug fix] Remove incorrect overflow guard (#1034)
tnowacki Apr 12, 2023
5713683
Update BasicCoin.move
feliciss Jun 8, 2023
8f5303a
Bound runtime value depth for Move values (#1060)
tzakian Jun 9, 2023
be821c5
Update abilities.md
feliciss Jul 1, 2023
ee12000
Update functions.md (#1065)
benbackend Jul 8, 2023
9cf5a04
[move-compiler] Fixed abstract interpreter bug with continue statemen…
ksolana Aug 12, 2023
460f2a9
[move-stdlib] formatting the string module codes (#1070)
geometryolife Aug 19, 2023
7188f31
[move-book-zh] fix some typos in generics chapter (#1067)
geometryolife Aug 19, 2023
ea70797
[language] Fix the doc of CastU64
EarthCompass Aug 21, 2023
da1fc17
Create rust.yml
RxuqZ256 Jan 1, 2024
0ea33f1
Create docker-image.yml
RxuqZ256 Jan 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
  •  
  •  
  •  
6 changes: 6 additions & 0 deletions .cargo/config
Original file line number Diff line number Diff line change
Expand Up @@ -8,3 +8,9 @@ xtest = "run --package x --bin x -- test"
xlint = "run --package x --bin x -- lint"
xbuild = "run --package x --bin x -- build"
nextest = "run --package x --bin x -- nextest"

[target.x86_64-pc-windows-msvc]
rustflags = ["-C", "link-arg=/STACK:8000000"]

[target.x86_64-unknown-linux-gnu]
rustflags = ["-C", "link-arg=-fuse-ld=lld"]
5 changes: 2 additions & 3 deletions .gitattributes
Original file line number Diff line number Diff line change
Expand Up @@ -11,6 +11,5 @@
*.txt text
*.yml text

# Use Rust syntax highlighter for Move and Move IR code
*.move linguist-language=Rust
*.mvir linguist-language=Rust
# Use Move syntax highlighter for Move IR code
*.mvir linguist-language=Move
30 changes: 30 additions & 0 deletions .github/workflows/ci-post-land.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,30 @@
# CI jobs to be run upon the code lands to the main branch or GitHub Action test branches.

name: ci-post-land

on:
push:
branches: [main, gha-test-*]

jobs:
generate-documentation:
name: Generate the Move Book using mdBook
runs-on: ubuntu-20.04
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}
steps:
- uses: actions/checkout@v2

- name: Setup mdBook
uses: peaceiris/actions-mdbook@v1
with:
mdbook-version: '0.4.10'
# mdbook-version: 'latest'

- run: mdbook build language/documentation/book

- name: Deploy
uses: peaceiris/actions-gh-pages@v3
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
publish_dir: ./language/documentation/book/book
58 changes: 45 additions & 13 deletions .github/workflows/ci-test.yml → .github/workflows/ci-pre-land.yml
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
name: ci-test
# CI jobs to be run upon the code lands to the main branch or GitHub Action test branches.

name: ci-pre-land

on:
push:
branches: [main, gha-test-*]
pull_request:
branches: [main]
branches: [main, gha-test-*]

jobs:
prepare:
Expand All @@ -21,7 +21,7 @@ jobs:
name: determine changes
uses: diem/actions/changes@faadd16607b77dfa2231a8f366883e01717b3225
with:
workflow-file: ci-test.yml
workflow-file: ci.yml
github-token: ${{secrets.GITHUB_TOKEN}}
- id: any-changes-found
name: determine if there are any files listed in the CHANGES_CHANGED_FILE_OUTPUTFILE.
Expand Down Expand Up @@ -205,17 +205,27 @@ jobs:
# path: |
# /tmp/benches

build-move-analyzer-vscode-extension:
name: Build VS Code extension for move-analyzer
runs-on: ubuntu-latest
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/checkout@v2.4.0
- name: Install rust toolchain
uses: actions-rs/toolchain@v1
- name: Install lld
uses: knicknic/os-specific-run@v1.0.3
with:
linux: sudo apt-get -y install lld
- name: Use Node.js 14
uses: actions/setup-node@v2.4.0
with:
node-version: '14'
node-version: "14"
- name: Install NPM dependencies
working-directory: language/move-analyzer/editors/code
run: npm install
Expand All @@ -232,6 +242,28 @@ jobs:
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/checkout@v2.4.0
- 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/setup-node@v2.4.0
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
Expand All @@ -249,15 +281,15 @@ jobs:
steps:
- uses: actions/checkout@v2
- name: Set up Ruby 2.6
uses: actions/setup-ruby@v1
uses: ruby/setup-ruby@v1
with:
ruby-version: 2.6.x
ruby-version: "2.6"
- name: Run Checks
run: |
gem install awesome_bot
# 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 "*.sh" -not -name "*.bib" -not -name "*.tex" -not -name "*.js" | while read arg; do awesome_bot --allow-redirect --allow-dupe --allow 429 --skip-save-results $arg; done
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
Expand All @@ -271,4 +303,4 @@ jobs:
- name: Build BasicCoin Move module
run: |
cd ./language/documentation/tutorial/step_1/BasicCoin
docker run -v `pwd`:/project move/cli package build
docker run -v `pwd`:/project move/cli build
3 changes: 2 additions & 1 deletion .github/workflows/daily.yml
Original file line number Diff line number Diff line change
Expand Up @@ -20,8 +20,9 @@ jobs:
# List of ignored RUSTSEC
# 1. RUSTSEC-2021-0073 - Not impacted.
# 2. RUSTSEC-2021-0072 - Not impacted.
# 3. RUSTSEC-2020-0071 - Not impacted (chronotope/chrono#578).
run: |
cargo audit --color never --ignore RUSTSEC-2021-0073 --ignore RUSTSEC-2021-0072 > $AUDIT_SUMMARY_FILE
cargo audit --color never --ignore RUSTSEC-2021-0073 --ignore RUSTSEC-2021-0072 --ignore RUSTSEC-2020-0071 > $AUDIT_SUMMARY_FILE
- name: set issue body content
if: ${{ failure() }}
env:
Expand Down
18 changes: 18 additions & 0 deletions .github/workflows/docker-image.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,18 @@
name: Docker Image CI

on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]

jobs:

build:

runs-on: ubuntu-latest

steps:
- uses: actions/checkout@v3
- name: Build the Docker image
run: docker build . --file Dockerfile --tag my-image-name:$(date +%s)
2 changes: 1 addition & 1 deletion .github/workflows/release_asset.yml
Original file line number Diff line number Diff line change
Expand Up @@ -33,7 +33,7 @@ jobs:
args: --release

- name: package move asset
run: ./scripts/package_asset.sh ${{ matrix.platform }}
run: bash ./scripts/package_asset.sh ${{ matrix.platform }}

- name: upload move asset
if: ${{ github.event_name == 'release'}}
Expand Down
22 changes: 22 additions & 0 deletions .github/workflows/rust.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,22 @@
name: Rust

on:
push:
branches: [ "main" ]
pull_request:
branches: [ "main" ]

env:
CARGO_TERM_COLOR: always

jobs:
build:

runs-on: ubuntu-latest

steps:
- uses: actions/checkout@v3
- name: Build
run: cargo build --verbose
- name: Run tests
run: cargo test --verbose
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -4,6 +4,7 @@
**/target
**/*.rs.bk
.idea/
**/.vscode

# Ignore wallet mnemonic files used for deterministic key derivation
*.mnemonic
Expand Down
23 changes: 23 additions & 0 deletions CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -135,3 +135,26 @@ able to be built and passes all checks performed by CI.
Move uses [GitHub issues](https://github.com/move-language/move/issues) to track
bugs. Please include necessary information and instructions to reproduce your
issue.

## Major feature requests

Please begin by checking the following locations for duplicate requests:
* [Approved feature proposals awaiting implementation](https://github.com/move-language/move/issues?q=is%3Aissue+is%3Aopen+label%3A%22accepted+feature+awaiting+implementation%22)
* [Feature proposals under discussion](https://github.com/move-language/move/issues?q=is%3Aissue+is%3Aopen+label%3A%22proposed+feature+in+discussion%22)
* [Language feature request graveyard](GRAVEYARD.md)

If your feature is not in any of these locations, please add a new feature request using the following format:

```
Sponsor: your_github_id

## Status: initial proposal

## Rationale
A detailed description of the problem the proposed feature seeks to solve. This should explain why the problem is important for smart contract programmers and why it is impossible (or unacceptably unpleasant) to solve with the existing language constructs. Examples are strongly recommended.

## Design
Explain the key decisions to be made in designing the feature. This can be organized as fully fleshed out design, a list of design options with pros and cons, or a list of questions to be answered. A proposed feature should have a very strong/clear rationale, but it is ok if many key design questions are open--the Move community and core contributors can help with this.
```

A Move core contributor will either add a `proposed_feature_to_be_discussed` tag and queue the feature for discussion at a future Move community meeting (and change the "Status" to reflect the meeting date), or will request changes that must be made to the issue before it is ready for discussion.
Loading