move
move copied to clipboard
move-language
# 🚀 Feature Request Make a note in setup for SOLC_EXE for solidity tests ## Motivation **Is your feature request related to a problem? Please describe.** I was getting really...
# 🐛 Bug The nursery should be cleaned up and outdated designs be removed, so it can better serve as a way to share Move library evolution with the community.
value comparison (`vec_u8_1 == vec_u8_2`) works but not reference comparison. However, this is not a blocker for the demo.
Found RUSTSEC in dependencies in job https://github.com/move-language/move/actions/runs/2155593820 ``` Fetching advisory database from `https://github.com/RustSec/advisory-db.git` Loaded 404 security advisories (from /opt/cargo/advisory-db) Updating crates.io index Scanning Cargo.lock for vulnerabilities (487 crate dependencies) Crate:...
![github-actions[bot] avatar](https://avatars.githubusercontent.com/in/15368?v=4 "github-actions[bot] avatar"){kind=avatar}
## Motivation This is my third attempt at it, but we should have 0x....1 rather than 0x1. This makes it very confusing for lots of people. Additionally, no 000001, or...
## Motivation Currently, the cached packages are never updated, even though they check out the corresponding git repo. This will now just fetch and reset accordingly to update the local...
## How to reproduce the bug ``` module 0x42::loop_inv { use std::vector; fun g() { let v = vector::empty(); let i = 0; while (i < 5) { vector::push_back(&mut v,...
## Motivation Uniform the naming format for 'spec schema'. A small piece of redundant code was removed. ### Have you read the [Contributing Guidelines on pull requests](https://github.com/move-language/move/blob/main/CONTRIBUTING.md#developer-workflow)? Yes ## Test...
Global invariants can have the "[suspendable]" attribute. Its semantics is not described in the document for the spec lang (https://github.com/move-language/move/blob/main/language/move-prover/doc/user/spec-lang.md).