Giter Club home page Giter Club logo

move's Introduction

License Discord chat

The Move Language

Move is a programming language for writing safe smart contracts originally developed at Facebook to power the Diem blockchain. Move is designed to be a platform-agnostic language to enable common libraries, tooling, and developer communities across diverse blockchains with vastly different data and execution models. Move's ambition is to become the "JavaScript of web3" in terms of ubiquity--when developers want to quickly write safe code involving assets, it should be written in Move.

This repository is the official home of the Move virtual machine, bytecode verifier, compiler, prover, package manager, and book. For Move code examples and papers, check out awesome-move.

Quickstart

Build the Docker Image for the Command Line Tool

docker build -t move/cli -f docker/move-cli/Dockerfile .

Build a Test Project

cd ./language/documentation/tutorial/step_1/BasicCoin
docker run -v `pwd`:/project move/cli build

Follow the language/documentation/tutorial to set up move for development.

Community

License

Move is licensed as Apache 2.0.

move's People

Contributors

ankushagarwal avatar bmwill avatar bothra90 avatar davidiw avatar dependabot-preview[bot] avatar dependabot[bot] avatar dimroc avatar emmazzz avatar gregnazario avatar huitseeker avatar joshlind avatar junkil-park avatar lightmark avatar ma2bd avatar meng-xu-cs avatar metajack avatar mimoo avatar msmouse avatar phlip9 avatar rexhoffman avatar runtian-zhou avatar rustielin avatar sausagee avatar sblackshear avatar sunshowers avatar vgao1996 avatar wrwg avatar xli avatar zekun000 avatar zihaoccc avatar

Stargazers

 avatar  avatar  avatar

Watchers

 avatar  avatar

move's Issues

[compiler-v2][Feature Request] check remove legacy_size

๐Ÿš€ Feature Request

legacy_size is for old struct memory calculation. If we can remove it for starcoin dag version

Motivation

Is your feature request related to a problem? Please describe.

Pitch

Describe the solution you'd like

Describe alternatives you've considered

Are you willing to open a pull request? (See CONTRIBUTING)

Additional context

[dev] move the repo to https://github.com/move-language

move-language/main ไธŽ starcoinorg/dev ๆฏ”่พƒๅคง็š„ๅทฎๅผ‚ๅœจ

  1. ้ป˜่ฎค่พ“ๅ‡บ้•ฟ/็Ÿญๅœฐๅ€๏ผŒๅฎž็Žฐๅ’Œๆต‹่ฏ•้ƒฝไผšๆœ‰ไธๅŒ
  2. move ๆจกๅ—ๅๅญ—ๅคงๅฐๅ†™๏ผŒ0x1::Vector vs 0x1::vector ่ฟ™็งไผšๆœ‰ๆฏ”่พƒๅคš็š„diff๏ผŒ่ฆ revert ไธ€ไบ› move-language/main ไธ‹้ข็š„ commit

้—ฎ้ข˜๏ผš

  1. move-language ็š„ starcoin ๅˆ†ๆ”ฏๆ˜ฏ็›ดๆŽฅๅœจ move-language/main ๆœ€ๆ–ฐ commit ็š„ๅŸบ็ก€ไธŠๅขžๅŠ  commit ๅ—๏ผŸ่ฟ˜ๆ˜ฏๆŠŠ็Žฐๅœจ็š„starcoinorg/move:dev ๆˆ–่€… starcoinorg/move:starcoin-main ็›ดๆŽฅๆฌ่ฟ‡ๅŽป๏ผŸ
  2. ไฝฟ็”จstarcoin/starcoin-main/ stcไฝœไธบ move-language/move ไป“ๅบ“ไธ‹็š„ๅˆ†ๆ”ฏๅ็งฐ๏ผŸ
  3. ๅ…ˆๆŠŠๅˆ†ๆ”ฏๅปบ่ตทๆฅ๏ผŒ็›ดๆŽฅ่ฟ็งป๏ผŒ็„ถๅŽๅœจmove-languageไป“ๅบ“ไธ‹ๆpr๏ผŒ่ฟ˜ๆ˜ฏ็ญ‰่ฟ™่พนๆ›ดๆ–ฐ็š„ๅทฎไธๅคšไบ†๏ผŒๅ†่ฟ็งป๏ผŸ
  4. ๅฆ‚ๆžœ่ฟ็งปไบ†๏ผŒๅ†move-languageไธ‹ๅทฅไฝœ๏ผŒๆpr็š„ๆ—ถๅ€™ciๆ˜ฏไธๆ˜ฏไผš่‡ชๅŠจ่ท‘ไบ†๏ผŸ
  5. ๅฏ่ƒฝ้œ€่ฆ move-language ็ป™ๅผ€ไธชๅˆ†ๆ”ฏ๏ผŒไปฅๅŠๅฏน็‰นๅฎšๅˆ†ๆ”ฏ็š„ review ๅ’Œๅ†™ๅ…ฅๆƒ้™

@jolestar @nkysg

[compiler-v2][Feature Request]update prelude.bpl for Vector operation

๐Ÿš€ Feature Request

Right now move framework use lowercase, we need to update prelude.bpl for Vector operation and other operation. Let move prover pass.

Motivation

Is your feature request related to a problem? Please describe.

Pitch

Describe the solution you'd like

Describe alternatives you've considered

Are you willing to open a pull request? (See CONTRIBUTING)

Additional context

[Bug]wrong logic in branch startcoin-main move_core_types::account_address::AccountAddress::from_hex_literal

๐Ÿ› Bug

improper process logic in branch startcoin-main move_core_types::account_address::AccountAddress::from_hex_literal(),

To reproduce

Code snippet to reproduce

# go to move home directory, such as /home/workplace/move
# and run the test using the following command
cargo test -p move-package --test package_hash_skips_non_move_files

Stack trace/error message

thread 'package_hash_skips_non_move_files' panicked at 'called `Result::unwrap()` on an `Err` value: Unresolved addresses found: [
Named address 'B' in package 'OtherDep'
Named address 'B' in package 'Root'
]', language/tools/move-package/tests/package_hash_skips_non_move_files.rs:17:6
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace
test package_hash_skips_non_move_files ... FAILED

Expected Behavior

test succeed

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[Bug] find the reason why some cmd has two 0x0x

๐Ÿ› Bug

To reproduce

https://github.com/starcoinorg/move/pull/12/files/df541a10c64281c49e3a630fedd44fc4962a86c8#diff-c8cb8d8be76d63d9bacf0c4fd122c483dbfc3ed5722b3a1f919b0f8aa9366fdb

sandbox publish

# basics
sandbox generate struct-layouts --module storage/0x0x00000000000000000000000000000001/modules/M2.mv --struct C --type-args u64

Code snippet to reproduce

# Your code goes here
# Please make sure it does not require any external dependencies

Stack trace/error message

// Paste the output here

Expected Behavior

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[dev Bug] `move sandbox run scripts/test.move --args 0u8 --dry-run` error

๐Ÿ› Bug

To reproduce

cd language/tools/move-cli/tests/metatests/cov/two-runs-same-module
move sandbox run scripts/test.move --args 0u8 --dry-run

error info

Execution failed due to unresolved type argument(s) (i.e., `--type-args 0x1::M:T` when there is no module named M at 0x1 or no type named T in module 0x1::M)

Code snippet to reproduce

# Your code goes here
# Please make sure it does not require any external dependencies

Stack trace/error message

// Paste the output here

Expected Behavior

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[compiler-v2][Bug]AccountAddress Len equals 32 , change 16 to support bech32

๐Ÿ› Bug

To reproduce

Code snippet to reproduce

# Your code goes here
# Please make sure it does not require any external dependencies

Stack trace/error message

// Paste the output here

Expected Behavior

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[Bug] dev branch test error

๐Ÿ› Bug

It's like #19

cd language/move-stdlib/tests
cargo test
thread 'prove' panicked at 'called Result::unwrap() on an Err value: No boogie executable set. Please set BOOGIE_EXE'

cd language/move-stdlib/nursery/tests
cargo test
thread 'prove' panicked at 'called Result::unwrap() on an Err value: No boogie executable set. Please set BOOGIE_EXE'

cd language/move-prover/bytecode/tests
cargo test
= ============ initial translation from Move ================
= ... (55 lines)
= # Formal(0): Read

  •  # Formal(0)/0x1::BoolFootprint::B: Read
    
  •  # Formal(0)/0x1::BoolFootprint::B/b: Read
    
  •  # Formal(0)/0x00000000000000000000000000000001::BoolFootprint::B: Read
    
  •  # Formal(0)/0x00000000000000000000000000000001::BoolFootprint::B/b: Read
    

= #
= ... (25 lines)

cd language/documentation/examples/diem-framework/move-packages/experimental/tests
cargo test
test result: FAILED. 1 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.95s

cd language/documentation/examples/diem-framework/move-packages/DPN/tests
cargo test
test result: FAILED. 1 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.08s

cd language/tools/move-cli/tests
cargo test
Command sandbox run scripts/test.move --args 1u8 --dry-run:
Execution failed due to unresolved type argument(s) (i.e., --type-args 0x1::M:T when there is no module named M at 0x1 or no type named T in module 0x1::M)

Error: 1 / 1 test(s) failed.

cd language/tools/move-cli/tests/sandbox_tests/package_basics/tests
cargo test
Error: Found script in modules -- this shouldn't happen
Command sandbox run scripts/test.move --args 0u8 --dry-run:
Execution failed due to unresolved type argument(s) (i.e., --type-args 0x1::M:T when there is no module named M at 0x1 or no type named T in module 0x1::M)
Command sandbox run scripts/test.move --args 1u8 --dry-run:
Execution failed due to unresolved type argument(s) (i.e., --type-args 0x1::M:T when there is no module named M at 0x1 or no type named T in module 0x1::M)

Error: 1 / 1 test(s) faile

cd language/move-vm/transactional-tests/tests
cargo test
test result: FAILED. 142 passed; 18 failed; 0 ignored; 0 measured; 0 filtered out

cd language/move-vm/integration-tests/src/tests
cargo test
โ”‚ Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a'
โ”‚โ”‚โ”‚ Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a'
Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a' Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a'

cd language/extensions/async/move-async-vm/tests
cargo test

  • actor 0x5 handling ???? (hash=15961884735320219966)
  • FAIL VMError with status VM_EXTENSION_ERROR at location UNDEFINED and message unknown message hash 15961884735320219966

cd language/move-ir-compiler/transactional-tests/tests
cargo test
error: Parser Error
โ”Œโ”€ 42cdca38e87de6753feec345314d17af740f03fba4fddf1263ce71b4e2c9e9db:7:10
โ”‚
7 โ”‚ f() {
โ”‚ ^ Invalid Token: expected Colon, not LParen

cd language/testing-infra/transactional-test-runner/tests
cargo test
task 7 'view'. lines 47-49:
key 0x42::N::R {
key 0x00000000000000000000000000000042::N::R {
v: 0
}

To reproduce

Code snippet to reproduce

# Your code goes here
# Please make sure it does not require any external dependencies

Stack trace/error message

// Paste the output here

Expected Behavior

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[Bug]failed test case in pacakge move-cli cli_testsuite

๐Ÿ› Bug

To reproduce

Code snippet to reproduce

Stack trace/error message

failures:

---- run_all::verify_native_functions_in_publish/args.txt ----
Expected output differs from actual output:
Command `sandbox publish`:
error[E02007]: invalid 'fun' declaration
  โ”Œโ”€ ./sources/example.move:3:16
  โ”‚
3 โ”‚     native fun create_nothing();
  โ”‚                ^^^^^^^^^^^^^^ Missing implementation for the native function M::create_nothing
Invalid multi-module publishing: VMError with status MISSING_DEPENDENCY at location Module ModuleId { address: 0x00000000000000000000000000000042, name: Identifier("M") } at index 0 for function handle





failures:
    run_all::verify_native_functions_in_publish/args.txt

test result: FAILED. 26 passed; 1 failed; 0 ignored; 0 measured; 0 filtered out

Expected Behavior

All test cases pass without error

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[Feature Request] Request release of a starcoin compatible move-analyzer

๐Ÿš€ Feature Request

Request release of a starcoin compatible move-analyzer

Motivation

starcoin-ide integrates move-analyzer and requires an official download channel

Additional context

Publishing steps:

  1. Based on https://github.com/yubing744/starcoin-move/tree/startcoin-move-analyzer at starcoinorg/
    move repository to create a branch startcoin-move-analyzer
  2. Tag the startcoin-move-analyzer branch
  3. Create Release based on Tag, github-action will automatically create move-analyzer binary

RUSTSEC in dependencies in branch

Found RUSTSEC in dependencies in job https://github.com/starcoinorg/move/actions/runs/10405377823

    Fetching advisory database from `https://github.com/RustSec/advisory-db.git`
      Loaded 647 security advisories (from /opt/cargo/advisory-db)
    Updating crates.io index
    Scanning Cargo.lock for vulnerabilities (707 crate dependencies)
Crate:     evm
Version:   0.33.1
Title:     evm incorrect state transition
Date:      2022-10-25
ID:        RUSTSEC-2022-0083
URL:       https://rustsec.org/advisories/RUSTSEC-2022-0083
Severity:  7.5 (high)
Solution:  Upgrade to >=0.36.0
Dependency tree:
evm 0.33.1
โ”œโ”€โ”€ move-unit-test 0.1.0
โ”‚   โ”œโ”€โ”€ move-table-extension 0.1.0
โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-test-utils 0.1.0
โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ test-generation 0.1.0
โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-integration-tests 0.1.0
โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-unit-test 0.1.0
โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-transactional-test-runner 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-transactional-tests 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-paranoid-tests 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-ir-compiler-transactional-tests 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-compiler-transactional-tests 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ””โ”€โ”€ bytecode-verifier-transactional-tests 0.1.0
โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-cli 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-transactional-test-runner 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-table-extension 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ test-generation 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-integration-tests 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-unit-test 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-transactional-test-runner 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-to-yul 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-unit-test 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-package 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-table-extension 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-cli 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ””โ”€โ”€ move-analyzer 1.0.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ””โ”€โ”€ extract-ethereum-abi 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-table-extension 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-stackless-bytecode 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ spec-flatten 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ read-write-set 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ””โ”€โ”€ move-cli 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ prover-mutation 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ prover-lab 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-to-yul 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-stackless-bytecode-interpreter 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-unit-test 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-transactional-test-runner 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ””โ”€โ”€ bytecode-interpreter-testsuite 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-prover-boogie-backend 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-to-yul 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ””โ”€โ”€ move-prover 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ spec-flatten 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ prover-mutation 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ prover-lab 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ move-errmapgen 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”œโ”€โ”€ move-prover 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ””โ”€โ”€ move-cli 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ move-docgen 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”œโ”€โ”€ move-prover 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ”œโ”€โ”€ move-package 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”‚   โ””โ”€โ”€ move-cli 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ”œโ”€โ”€ move-cli 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ””โ”€โ”€ move-abigen 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚           โ”œโ”€โ”€ move-prover 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚           โ””โ”€โ”€ move-package 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ””โ”€โ”€ move-prover 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-compiler 0.0.1
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ test-generation 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ spec-flatten 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ prover-mutation 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ prover-lab 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-runtime 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ test-generation 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-integration-tests 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-unit-test 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-transactional-test-runner 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-table-extension 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-cli 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-async-vm 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ language-benchmarks 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ””โ”€โ”€ diem-framework-natives 0.0.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚       โ””โ”€โ”€ df-cli 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-vm-integration-tests 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-unit-test 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-transactional-test-runner 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-to-yul 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-stdlib 0.1.1
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-stackless-bytecode 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-prover 0.1.0
โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”‚   โ”œโ”€โ”€ move-package 0.1.0

[Bug]starcoin-main branch test error

๐Ÿ› Bug

There are many test errors in starcoin-main branch. It output like that

To reproduce

Code snippet to reproduce

cd language/move-bytecode-verifier/transactional-tests/tests
cargo test
test result: FAILED. 179 passed; 130 failed; 0 ignored; 0 measured; 0 filtered out

cd language/move-stdlib/tests
cargo test
thread '<unknown>' has overflowed its stack
fatal runtime error: stack overflow

cd language/move-stdlib/nursery/tests
cargo test
thread '<unknown>' has overflowed its stack
fatal runtime error: stack overflow

cd language/move-prover/bytecode/tests
cargo test
test result: FAILED. 47 passed; 9 failed; 0 ignored; 0 measured; 0 filtered out

cd language/tools/move-unit-test/tests
cargo test
โ”‚ 0x8000000000000000000000000000000:
โ”‚       => key 0x1::M::A {
โ”‚       => key 0x00000000000000000000000000000001::M::A {
โ”‚           dummy_field: false
โ”‚       }
โ”‚ 0x9000000000000000000000000000000:
โ”‚       => key 0x1::M::A {
โ”‚       => key 0x00000000000000000000000000000001::M::A {
โ”‚           dummy_field: false
โ”‚       }
โ”‚ 

cd language/tools/mirai-dataflow-analysis/tests
cargo test
error[E0658]: use of unstable library feature 'proc_macro_is_available'

cd language/tools/move-package/tests
cargo test
---- run_test::resolution/basic_no_deps_address_not_assigned_with_dev_assignment/Move.toml ----
Expected outputs differ for "tests/test_sources/resolution/basic_no_deps_address_not_assigned_with_dev_assignment/Move.exp":
ResolutionGraph {
    root_package_path: "tests/test_sources/resolution/basic_no_deps_address_not_assigned_with_dev_assignment",
    build_options: BuildConfig {
        dev_mode: true,
        test_mode: false,
        generate_docs: false,
        generate_abis: false,
        install_dir: Some(
            "ELIDED_FOR_TEST",
        ),
        force_recompilation: false,
        additional_named_addresses: {},
    },
    root_package: SourceManifest {
        package: PackageInfo {
            name: "test",
            version: (
                0,
                0,
                0,
            ),
            authors: [],
            license: None,
        },
        addresses: Some(
            {
                "A": None,
            },
        ),
        dev_address_assignments: Some(
            {
                "A": 00000000000000000000000000000001,
                "A": 0x00000000000000000000000000000001,
            },
        ),
        build: None,
        dependencies: {},
        dev_dependencies: {},
    },


cd language/move-vm/transactional-tests/tests
cargo test
task 2 'view'. lines 31-31:
key 0x1::M::R {
key 0x00000000000000000000000000000001::M::R {
    x: false
}

cd move-vm/integration-tests/src/tests
cargo test
Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a'        
               โ”‚  
           โ”‚          โ”‚  
            โ”‚                                  โ”‚     Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a'
        Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a'       
               โ”‚ Expected '::'โ”‚            Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a' 
        
   Unexpected 'x2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a2a' 
    
 โ”‚    โ”‚Expected '::' 


cd language/move-ir-compiler/transactional-tests/tests
cargo test
task 5 'print-bytecode'. lines 38-46:
// Move bytecode v5
// Move bytecode v4
script {

Stack trace/error message

// Paste the output here

Expected Behavior

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[compiler-v2[Feature Request]bech32 upgrade 0.11.0

๐Ÿš€ Feature Request

bech32 version 0.9.0. If we need to upgrade 0.11.0. The API has changed.

Motivation

Is your feature request related to a problem? Please describe.

Pitch

Describe the solution you'd like

Describe alternatives you've considered

Are you willing to open a pull request? (See CONTRIBUTING)

Additional context

[dev Bug] run_metatest error

๐Ÿ› Bug

To reproduce

https://github.com/starcoinorg/move/blob/dev/language/tools/move-cli/tests/cli_tests.rs#L20

#[test]
fn run_metatest() {
    let path_cli_binary = get_cli_binary_path();
    let path_metatest = get_metatest_path();

    // local workspace + with coverage
    assert!(test::run_all(&path_metatest, path_cli_binary.as_path(), false, true).is_ok());

    // temp workspace + with coverage
    assert!(test::run_all(&path_metatest, &path_cli_binary, true, true).is_ok());

    // local workspace + without coverage
    assert!(test::run_all(&path_metatest, &path_cli_binary, false, false).is_ok());

    // temp workspace + without coverage
    assert!(test::run_all(&path_metatest, &path_cli_binary, true, false).is_ok());
}

Code snippet to reproduce

# Your code goes here
# Please make sure it does not require any external dependencies

Stack trace/error message

// Paste the output here

Expected Behavior

System information

Please complete the following information:

Additional context

Add any other context about the problem here.

[Bug dev] package_hash_skips_non_move_files test failed

๐Ÿ› Bug

To reproduce

Code snippet to reproduce
https://github.com/starcoinorg/move/blob/dev/language/tools/move-package/tests/package_hash_skips_non_move_files.rs#L10

called `Result::unwrap()` on an `Err` value: Unresolved addresses found: [
Named address 'B' in package 'OtherDep'
Named address 'B' in package 'Root'
]
To fix this, add an entry for each unresolved address to the [addresses] section of tests/test_sources/resolution/dep_good_digest/Move.toml: e.g.,
[addresses]
# Your code goes here
# Please make sure it does not require any external dependencies

Stack trace/error message

// Paste the output here

Expected Behavior

System information

Please complete the following information:

Additional context

Add any other context about the problem here.
The reason is function AccountAddress::from_hex_literal bug

    pub fn from_hex_literal(literal: &str) -> Result<Self, AccountAddressParseError> {
        if literal.is_empty() {
            return Err(AccountAddressParseError);
        }
        let literal = literal.strip_prefix("0x").unwrap_or_else(|| literal);
        let hex_len = literal.len();

        // If the string is too short, pad it
        if hex_len < Self::LENGTH * 2 {
            let mut hex_str = String::with_capacity(Self::LENGTH * 2);
            for _ in 0..Self::LENGTH * 2 - hex_len {
                hex_str.push('0');
            }
            hex_str.push_str(&literal);
            AccountAddress::from_hex(hex_str)
        } else {
            AccountAddress::from_hex(&literal)
        }
    }

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    ๐Ÿ–– Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. ๐Ÿ“Š๐Ÿ“ˆ๐ŸŽ‰

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google โค๏ธ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.