move
move copied to clipboard
# π 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
# π 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...
## 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...
[Bug] [move-cli] The move-cli package test --filter parameter does not take effect in some scenarios
# π 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...
# π 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**
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...
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,...
β¦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...
# π 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...
# π 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...