move

move copied to clipboard

[Feature Request] Support underscores in number literals

2

# 🚀 Feature Request Support underscores in number literals ## Motivation Hard to read long numbers, e.g.: ``` const HARD_CAP: u64 = 1_000_000_000000; ``` for a coin with 6 decimals

macalinao

[Feature Request] move-analyzer support the textDocument/formatting PSL protocol

3

# 🚀 Feature Request move-analyzer support the [textDocument/formatting](https://microsoft.github.io/language-server-protocol/specifications/lsp/3.17/specification/#textDocument_formatting) PSL protocol ## Motivation Users can format move code directly in VSCode. ## Pitch **Describe the solution you'd like** move-analyzer wraps the...

yubing744

[move-package] Change all yaml files to be TOML

4

## Motivation Let's stick with 1 parser for Move. I picked TOML, since it was the one that was already being manually manipulated for the Move package system. ### Have...

gregnazario

# 🐛 Bug The move-cli package test --filter parameter does not take effect in some scenarios ## To reproduce **Code snippet to reproduce** ```bash git clone https://github.com/move-language/move.git cd move/language/tools/move-cli/tests/move_unit_tests/assign_dev_addr_for_dep move...

yubing744

[Feature Request] A playground like https://play.rust-lang.org/

2

# 🚀 Feature Request Someday, we can provide a move playground like https://play.rust-lang.org/ ## Motivation **it's more easy for doc reader and learner to play with code snippit**

jiangying000

The [verify_sort.move](https://github.com/move-language/move/blob/main/language/move-prover/tests/sources/functional/verify_sort.move) test program implements a vector sorting algorithm. Currently the vector length is set to 45 and the program is successfully verified by Move. When we change the length...

jyao15

[move-prover] Ghost parameter for verification

1

The Move prover now supports ghost variables in function specification. In some cases, we further need ghost variables that can be assigned in the function body, or in other words,...

jyao15

…reum encoded data and move encoded data. ## Motivation Implement an adapter to allow interacting with Move world with ethereum style api. There are two major components: 1. An event...

runtian-zhou

[Bug]panic in debug mode when invoking status_type() if status is VMStatus::Error{ StatusCode::OUT_OF_GAS }

13

# 🐛 Bug panic occurred when invoking status_type() in debug mode if status is VMStatus::Error{StatusCode::OUT_OF_GAS} The backtrace is something like the following ## To reproduce **Code snippet to reproduce** ```rust...

JerryKwan

# 🐛 Bug This issue was first reported in #95. I gave a minimalist Move example here to reproduce the bug, and Let's see if any developers are interested in...

jolestar