move
move copied to clipboard
move-language
## Problem When a struct is havocked, Prover's error trace does not say that the struct was havocked. ## How to reproduce ``` module 0x42::loop_inv { use std::vector; struct R...
## Rationale - The type u256 is important for interoperability with EVM chains. For example, NFTs are usually represented in 256 bits. The type is also important for Move on...
# Doc: report mistake of The Move Book Let me report I found the following mistake at [chapter 24. Global Storage and Structure, The Move Book](https://move-language.github.io/move/global-storage-structure.html). The pseudocode which represents...
# 🚀 Feature Request When I build a package, and it is using a git rev / branch, it should do a `git fetch & reset` to update the local...
## Motivation There are also some small mistakes left over from before,i correct them ### Have you read the [Contributing Guidelines on pull requests](https://github.com/move-language/move/blob/main/CONTRIBUTING.md#developer-workflow)? Yes
 Unknown OS. Abort. How should I solve it? Please help me! OS：Windows 10
Sponsor: @sblackshear ## Rationale Strings are a very common language feature, but Move does not have them. There is source language syntax for byte string and ASCII string literals, but...
Sponsor: @sblackshear ## Rationale Move development involves writing a lot of code of the form `MyType::foo(&mytype)`, which can get quite verbose and inhibits readability. ## Design If a struct `MyType`...
# 🚀 Feature Request ## Motivation Interface/trait is a key for creating abstractions for computer code. Historically ethereum was able to came up a number of well known interfaces such...
Sponsor: @tnowacki ## Rationale Currently, `let` declarations are a bit abused when compared to other languages. Normally, `let` means that the local variable is declared and never modified. This is...