id | title | custom_edit_url |
---|---|---|
move-language |
Move Language |
This project is forked from Aptos Move to avoid multi-standard of move language.
# make new subtree branch with latest changes
git subtree split --prefix=third_party/move -b aptos-move
# merge latest changes into our branch
git switch initia-move
git merge aptos-move
cargo test \
--package move-vm-integration-tests \
--package move-cli \
--package move-unit-test \
--package move-compiler \
--package move-analyzer \
--package move-stdlib \
--package move-package \
--package move-binary-format \
--package move-bytecode-verifier \
-- --skip prove