move

move copied to clipboard

[Feature Request] Make VM parametric in event format

3

To support user-defined events emitted during execution, the VM keeps a Vec log, where Event as defined as `pub type Event = (Vec, u64, TypeTag, Vec)` [here](https://github.com/diem/move/blob/main/language/move-core/types/src/effects.rs). In this representation,...

sblackshear

[move-analyzer] Support document symbol PSL

43

## Motivation [starcoin-ide](https://github.com/starcoinorg/starcoin-ide) expects that users can select a single test function on the interface, and then execute the test. In order to realize this function, I need to extract...

yubing744

# 🚀 Feature Request Maybe we should create a standard move library repo like the [open-zeppelin](https://github.com/OpenZeppelin/openzeppelin-contracts) in solidity . ## Motivation Standard contracts library is a very efficient helper.

aranoverse

# 🚀 Feature Request Move maybe should provide the native math power operation , just like the `pow` in rust , `**` in solidity . ## Motivation For loop implementation...

aranoverse

https://github.com/move-language/move/pull/281 implements a generic gas meter and there are some tasks we identified but chose to do later: 1. Safe Gas Algebra a. Right now gas operations are unchecked, meaning...

vgao1996

[Movey] Call Movey API to increase download count

8

## Motivation According to [Sam](https://github.com/move-language/move/pull/227#discussion_r922850757), we moved the call to Movey into this pull request. ### How to use it As usual any build action that involves cloning from github...

ea-open-source

[Movey] Add command to upload metadata to Movey

2

## Motivation Add `move movey-upload` command to upload move package to [Movey](https://www.movey.net/), modify `move build` command to call Movey API to increase download count. ### How to use it Before...

ea-open-source

Work in progress - Prover has some unknown performance issue with the new version of Z3 and Boogie. ## Motivation To bump up the version number of Prover's deps. ###...

junkil-park

Found RUSTSEC in dependencies in job https://github.com/move-language/move/actions/runs/3045950094 ``` Fetching advisory database from `https://github.com/RustSec/advisory-db.git` Loaded 457 security advisories (from /opt/cargo/advisory-db) Updating crates.io index Scanning Cargo.lock for vulnerabilities (629 crate dependencies) Crate:...

github-actions[bot]

[Bug] Move prover bytecode translator error

25

# 🐛 Bug I have discovered a problem with the bytecode translator on certain snippets of Move code (please see below for an example on how to reproduce this). I...

awelc