From b67a957815bd0024b3da5d0d2096f49bcc6d3fa6 Mon Sep 17 00:00:00 2001 From: Emma Zhong Date: Wed, 6 Jul 2022 11:26:12 -0700 Subject: [PATCH] [CLI] make sui move prove call move prover with custom options --- Cargo.lock | 77 ++++----- crates/generate-json-rpc-spec/Cargo.toml | 2 +- crates/sui-adapter/Cargo.toml | 8 +- crates/sui-benchmark/Cargo.toml | 2 +- crates/sui-config/Cargo.toml | 4 +- crates/sui-core/Cargo.toml | 10 +- crates/sui-framework-build/Cargo.toml | 10 +- crates/sui-framework/Cargo.toml | 20 +-- crates/sui-gateway/Cargo.toml | 2 +- crates/sui-json-rpc-api/Cargo.toml | 4 +- crates/sui-json/Cargo.toml | 6 +- crates/sui-storage/Cargo.toml | 2 +- .../sui-transactional-test-runner/Cargo.toml | 16 +- crates/sui-types/Cargo.toml | 12 +- crates/sui-verifier/Cargo.toml | 6 +- crates/sui/Cargo.toml | 13 +- crates/sui/src/sui_move/prove.rs | 37 +++-- crates/sui/src/sui_move/sui-natives.bpl | 65 ++++++++ crates/test-utils/Cargo.toml | 4 +- crates/workspace-hack/Cargo.toml | 152 +++++++++--------- 20 files changed, 269 insertions(+), 183 deletions(-) create mode 100644 crates/sui/src/sui_move/sui-natives.bpl diff --git a/Cargo.lock b/Cargo.lock index 13cebefc4bd22..112e0e9bfb0a4 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -667,7 +667,7 @@ checksum = "e3b5ca7a04898ad4bcd41c90c5285445ff5b791899bb1b0abdd2a2aa791211d7" [[package]] name = "bytecode-interpreter-crypto" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "curve25519-dalek-fiat", @@ -3335,7 +3335,7 @@ dependencies = [ [[package]] name = "move-abigen" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "bcs", @@ -3351,7 +3351,7 @@ dependencies = [ [[package]] name = "move-binary-format" version = "0.0.3" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "move-core-types", @@ -3364,12 +3364,12 @@ dependencies = [ [[package]] name = "move-borrow-graph" version = "0.0.1" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" [[package]] name = "move-bytecode-source-map" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "bcs", @@ -3384,7 +3384,7 @@ dependencies = [ [[package]] name = "move-bytecode-utils" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "move-binary-format", @@ -3396,7 +3396,7 @@ dependencies = [ [[package]] name = "move-bytecode-verifier" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "move-binary-format", @@ -3408,7 +3408,7 @@ dependencies = [ [[package]] name = "move-bytecode-viewer" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "clap 3.1.18", @@ -3425,7 +3425,7 @@ dependencies = [ [[package]] name = "move-cli" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "bcs", @@ -3466,7 +3466,7 @@ dependencies = [ [[package]] name = "move-command-line-common" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "difference", @@ -3481,7 +3481,7 @@ dependencies = [ [[package]] name = "move-compiler" version = "0.0.1" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "bcs", @@ -3510,7 +3510,7 @@ dependencies = [ [[package]] name = "move-core-types" version = "0.0.4" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "bcs", @@ -3525,7 +3525,7 @@ dependencies = [ [[package]] name = "move-coverage" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "bcs", @@ -3545,7 +3545,7 @@ dependencies = [ [[package]] name = "move-disassembler" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "clap 3.1.18", @@ -3563,7 +3563,7 @@ dependencies = [ [[package]] name = "move-docgen" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "codespan", @@ -3581,7 +3581,7 @@ dependencies = [ [[package]] name = "move-errmapgen" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "bcs", @@ -3595,7 +3595,7 @@ dependencies = [ [[package]] name = "move-ir-compiler" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "bcs", @@ -3614,7 +3614,7 @@ dependencies = [ [[package]] name = "move-ir-to-bytecode" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "codespan-reporting", @@ -3633,7 +3633,7 @@ dependencies = [ [[package]] name = "move-ir-to-bytecode-syntax" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "hex", @@ -3646,7 +3646,7 @@ dependencies = [ [[package]] name = "move-ir-types" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "hex", @@ -3660,7 +3660,7 @@ dependencies = [ [[package]] name = "move-model" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "codespan", @@ -3686,7 +3686,7 @@ dependencies = [ [[package]] name = "move-package" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "bcs", @@ -3719,7 +3719,7 @@ dependencies = [ [[package]] name = "move-prover" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "async-trait", @@ -3756,7 +3756,7 @@ dependencies = [ [[package]] name = "move-prover-boogie-backend" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "async-trait", @@ -3784,7 +3784,7 @@ dependencies = [ [[package]] name = "move-read-write-set-types" version = "0.0.3" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "move-binary-format", @@ -3795,7 +3795,7 @@ dependencies = [ [[package]] name = "move-resource-viewer" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "bcs", @@ -3810,7 +3810,7 @@ dependencies = [ [[package]] name = "move-stackless-bytecode" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "codespan", "codespan-reporting", @@ -3837,7 +3837,7 @@ dependencies = [ [[package]] name = "move-stackless-bytecode-interpreter" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "bytecode-interpreter-crypto", @@ -3855,7 +3855,7 @@ dependencies = [ [[package]] name = "move-stdlib" version = "0.1.1" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "log", @@ -3877,7 +3877,7 @@ dependencies = [ [[package]] name = "move-symbol-pool" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "once_cell", "serde 1.0.138", @@ -3886,7 +3886,7 @@ dependencies = [ [[package]] name = "move-table-extension" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "bcs", @@ -3903,7 +3903,7 @@ dependencies = [ [[package]] name = "move-transactional-test-runner" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "clap 3.1.18", @@ -3934,7 +3934,7 @@ dependencies = [ [[package]] name = "move-unit-test" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "better_any", @@ -3965,7 +3965,7 @@ dependencies = [ [[package]] name = "move-vm-runtime" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "better_any", "fail", @@ -3982,7 +3982,7 @@ dependencies = [ [[package]] name = "move-vm-test-utils" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "move-core-types", @@ -3991,7 +3991,7 @@ dependencies = [ [[package]] name = "move-vm-types" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "bcs", "move-binary-format", @@ -5315,7 +5315,7 @@ dependencies = [ [[package]] name = "read-write-set" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "move-binary-format", @@ -5330,7 +5330,7 @@ dependencies = [ [[package]] name = "read-write-set-dynamic" version = "0.1.0" -source = "git+https://github.com/move-language/move?rev=7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003#7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" +source = "git+https://github.com/move-language/move?rev=7733658048a8bc80e9ba415b8c99aed9234eaa5f#7733658048a8bc80e9ba415b8c99aed9234eaa5f" dependencies = [ "anyhow", "move-binary-format", @@ -6404,6 +6404,7 @@ dependencies = [ "move-core-types", "move-package", "move-prover", + "move-prover-boogie-backend", "move-unit-test", "rand 0.7.3", "rustyline", diff --git a/crates/generate-json-rpc-spec/Cargo.toml b/crates/generate-json-rpc-spec/Cargo.toml index 277b90ef04af4..d05fb8d02745c 100644 --- a/crates/generate-json-rpc-spec/Cargo.toml +++ b/crates/generate-json-rpc-spec/Cargo.toml @@ -23,5 +23,5 @@ sui-types = { path = "../sui-types" } sui-config = { path = "../sui-config" } test-utils = { path = "../test-utils" } -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } workspace-hack = { path = "../workspace-hack"} diff --git a/crates/sui-adapter/Cargo.toml b/crates/sui-adapter/Cargo.toml index af47e93dbcf98..d43c0018bb52b 100644 --- a/crates/sui-adapter/Cargo.toml +++ b/crates/sui-adapter/Cargo.toml @@ -12,9 +12,9 @@ anyhow = { version = "1.0.58", features = ["backtrace"] } bcs = "0.1.3" once_cell = "1.11.0" -move-binary-format = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } -move-vm-runtime = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-binary-format = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } +move-vm-runtime = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } sui-framework = { path = "../sui-framework" } sui-verifier = { path = "../sui-verifier" } @@ -22,4 +22,4 @@ sui-types = { path = "../sui-types" } workspace-hack = { path = "../workspace-hack"} [dev-dependencies] -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } diff --git a/crates/sui-benchmark/Cargo.toml b/crates/sui-benchmark/Cargo.toml index e65642ef1c3e3..162d032d3b20b 100644 --- a/crates/sui-benchmark/Cargo.toml +++ b/crates/sui-benchmark/Cargo.toml @@ -30,7 +30,7 @@ sui-core = { path = "../sui-core" } sui-config = { path = "../sui-config" } sui-types = { path = "../sui-types" } -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } narwhal-node = { git = "https://github.com/MystenLabs/narwhal", rev = "5be9046d6b8f7563740f4d03bba10550d3628672", package = "node" } workspace-hack = { path = "../workspace-hack"} diff --git a/crates/sui-config/Cargo.toml b/crates/sui-config/Cargo.toml index 668d744bce0c4..eaa05dcf26b55 100644 --- a/crates/sui-config/Cargo.toml +++ b/crates/sui-config/Cargo.toml @@ -21,8 +21,8 @@ tracing = "0.1.35" narwhal-config = { git = "https://github.com/MystenLabs/narwhal", rev = "5be9046d6b8f7563740f4d03bba10550d3628672", package = "config" } narwhal-crypto = { git = "https://github.com/MystenLabs/narwhal", rev = "5be9046d6b8f7563740f4d03bba10550d3628672", package = "crypto" } -move-binary-format = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-binary-format = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } sui-framework = { path = "../sui-framework" } sui-adapter = { path = "../sui-adapter" } diff --git a/crates/sui-core/Cargo.toml b/crates/sui-core/Cargo.toml index 111143c727c44..a56bdc8b841ad 100644 --- a/crates/sui-core/Cargo.toml +++ b/crates/sui-core/Cargo.toml @@ -38,10 +38,10 @@ sui-config = { path = "../sui-config" } sui-json = { path = "../sui-json" } sui-json-rpc-api = { path = "../sui-json-rpc-api" } -move-binary-format = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } -move-vm-runtime = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-binary-format = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } +move-vm-runtime = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } typed-store = { git = "https://github.com/MystenLabs/mysten-infra", rev = "94d7da89f6a52d7f60a9802b0a03147a9c89c3e4"} mysten-network = { git = "https://github.com/MystenLabs/mysten-infra", rev = "94d7da89f6a52d7f60a9802b0a03147a9c89c3e4" } @@ -54,7 +54,7 @@ workspace-hack = { path = "../workspace-hack"} [dev-dependencies] clap = { version = "3.1.17", features = ["derive"] } rand = "0.7.3" -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } serde-reflection = "0.3.6" serde_yaml = "0.8.23" diff --git a/crates/sui-framework-build/Cargo.toml b/crates/sui-framework-build/Cargo.toml index bbce241e06c0a..99327de945afd 100644 --- a/crates/sui-framework-build/Cargo.toml +++ b/crates/sui-framework-build/Cargo.toml @@ -12,9 +12,9 @@ publish = false sui-types = { path = "../sui-types" } sui-verifier = { path = "../../crates/sui-verifier" } -move-binary-format = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-bytecode-verifier = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-compiler = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-binary-format = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-bytecode-verifier = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-compiler = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } workspace-hack = { path = "../workspace-hack"} diff --git a/crates/sui-framework/Cargo.toml b/crates/sui-framework/Cargo.toml index 71c7b3a7cfe01..3073a0bc8c08e 100644 --- a/crates/sui-framework/Cargo.toml +++ b/crates/sui-framework/Cargo.toml @@ -17,22 +17,22 @@ once_cell = "1.11.0" sui-types = { path = "../sui-types" } sui-framework-build = { path = "../sui-framework-build" } -move-binary-format = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-cli = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-stdlib = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-unit-test = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-vm-runtime = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-vm-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-binary-format = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-cli = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-stdlib = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-unit-test = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-vm-runtime = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-vm-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } workspace-hack = { path = "../workspace-hack"} [build-dependencies] anyhow = { version = "1.0.58", features = ["backtrace"] } bcs = "0.1.3" sui-framework-build = { path = "../sui-framework-build" } -move-binary-format = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-binary-format = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } [package.metadata.cargo-udeps.ignore] normal = ["move-cli", "move-unit-test"] diff --git a/crates/sui-gateway/Cargo.toml b/crates/sui-gateway/Cargo.toml index 7296f5cce7883..6283ee2acf662 100644 --- a/crates/sui-gateway/Cargo.toml +++ b/crates/sui-gateway/Cargo.toml @@ -26,7 +26,7 @@ sui-json-rpc-api = { path = "../sui-json-rpc-api" } sui-node = { path = "../sui-node" } mysten-network = { git = "https://github.com/MystenLabs/mysten-infra", rev = "94d7da89f6a52d7f60a9802b0a03147a9c89c3e4" } -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } workspace-hack = { path = "../workspace-hack"} [dev-dependencies] diff --git a/crates/sui-json-rpc-api/Cargo.toml b/crates/sui-json-rpc-api/Cargo.toml index f23207c7cfa7a..70e8f86746296 100644 --- a/crates/sui-json-rpc-api/Cargo.toml +++ b/crates/sui-json-rpc-api/Cargo.toml @@ -20,8 +20,8 @@ either = "1.7.0" itertools = "0.10.3" ed25519-dalek = { version = "1.0.1", features = ["batch", "serde"] } -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } -move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } +move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } sui-types = { path = "../sui-types" } sui-json = { path = "../sui-json" } diff --git a/crates/sui-json/Cargo.toml b/crates/sui-json/Cargo.toml index 2c6c4f4e162d3..47e9f27a64530 100644 --- a/crates/sui-json/Cargo.toml +++ b/crates/sui-json/Cargo.toml @@ -17,12 +17,12 @@ schemars = "0.8.10" sui-types = { path = "../sui-types" } sui-verifier = { path = "../sui-verifier" } -move-binary-format = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } +move-binary-format = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } [dev-dependencies] test-fuzz = "3.0.2" -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } workspace-hack = { path = "../workspace-hack"} sui-adapter = { path = "../sui-adapter" } diff --git a/crates/sui-storage/Cargo.toml b/crates/sui-storage/Cargo.toml index faaf338bfe363..390b22b4976a0 100644 --- a/crates/sui-storage/Cargo.toml +++ b/crates/sui-storage/Cargo.toml @@ -24,7 +24,7 @@ strum_macros = "^0.24" sui-types = { path = "../sui-types" } typed-store = { git = "https://github.com/MystenLabs/mysten-infra", rev = "94d7da89f6a52d7f60a9802b0a03147a9c89c3e4"} -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } workspace-hack = { path = "../workspace-hack"} [dev-dependencies] diff --git a/crates/sui-transactional-test-runner/Cargo.toml b/crates/sui-transactional-test-runner/Cargo.toml index f5e00ab31f60d..4ac1663983dfb 100644 --- a/crates/sui-transactional-test-runner/Cargo.toml +++ b/crates/sui-transactional-test-runner/Cargo.toml @@ -14,14 +14,14 @@ clap = { version = "3.1.8", features = ["derive"] } once_cell = "1.11.0" rand = "0.7.3" -move-binary-format = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-command-line-common = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-compiler = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } -move-stdlib = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-transactional-test-runner = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-vm-runtime = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-binary-format = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-command-line-common = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-compiler = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } +move-stdlib = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-transactional-test-runner = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-vm-runtime = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } sui-framework = { path = "../sui-framework" } sui-types = { path = "../sui-types" } diff --git a/crates/sui-types/Cargo.toml b/crates/sui-types/Cargo.toml index 3add06677c339..9053e69446c89 100644 --- a/crates/sui-types/Cargo.toml +++ b/crates/sui-types/Cargo.toml @@ -41,12 +41,12 @@ rand_latest = { version = "0.8.5", package = "rand" } name-variant = { git = "https://github.com/MystenLabs/mysten-infra", rev = "94d7da89f6a52d7f60a9802b0a03147a9c89c3e4" } typed-store = { git = "https://github.com/MystenLabs/mysten-infra", rev = "94d7da89f6a52d7f60a9802b0a03147a9c89c3e4" } -move-binary-format = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } -move-disassembler = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-ir-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-vm-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-binary-format = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } +move-disassembler = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-ir-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-vm-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } narwhal-executor = { git = "https://github.com/MystenLabs/narwhal", rev = "5be9046d6b8f7563740f4d03bba10550d3628672", package = "executor" } narwhal-crypto = { git = "https://github.com/MystenLabs/narwhal", rev = "5be9046d6b8f7563740f4d03bba10550d3628672", package = "crypto" } diff --git a/crates/sui-verifier/Cargo.toml b/crates/sui-verifier/Cargo.toml index fff6f0527aa36..49dc64eaae09b 100644 --- a/crates/sui-verifier/Cargo.toml +++ b/crates/sui-verifier/Cargo.toml @@ -8,9 +8,9 @@ license = "Apache-2.0" publish = false [dependencies] -move-binary-format = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-bytecode-verifier = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } +move-binary-format = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-bytecode-verifier = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } sui-types = { path = "../sui-types" } workspace-hack = { path = "../workspace-hack"} diff --git a/crates/sui/Cargo.toml b/crates/sui/Cargo.toml index 14aa5e182edf0..ed1d888f9a67f 100644 --- a/crates/sui/Cargo.toml +++ b/crates/sui/Cargo.toml @@ -32,11 +32,12 @@ colored = "2.0.0" unescape = "0.1.0" shell-words = "1.1.0" -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } -move-prover = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-unit-test = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-cli = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } +move-prover = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-prover-boogie-backend = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-unit-test = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-cli = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } workspace-hack = { path = "../workspace-hack"} [target.'cfg(not(target_env = "msvc"))'.dependencies] @@ -51,6 +52,6 @@ typed-store = { git = "https://github.com/MystenLabs/mysten-infra", rev = "94d7d test-utils = { path = "../test-utils" } sui-quorum-driver = { path = "../sui-quorum-driver" } rand = "0.7.3" -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } sui-core = { path = "../sui-core" } sui-node = { path = "../sui-node" } diff --git a/crates/sui/src/sui_move/prove.rs b/crates/sui/src/sui_move/prove.rs index 6ac7e52e3b965..05ebf4e7376d2 100644 --- a/crates/sui/src/sui_move/prove.rs +++ b/crates/sui/src/sui_move/prove.rs @@ -6,6 +6,8 @@ use move_cli::base::{self, prove}; use move_package::BuildConfig; use std::path::{Path, PathBuf}; +const SUI_NATIVE_TEMPLATE: &[u8] = include_bytes!("sui-natives.bpl"); + #[derive(Parser)] pub struct Prove { #[clap(flatten)] @@ -30,16 +32,33 @@ impl Prove { args.push(format!("--config={}", prover_toml.to_string_lossy())); } args.extend(opts.iter().cloned()); - let options = move_prover::cli::Options::create_from_args(&args)?; - prove::run_move_prover( - build_config, - &rerooted_path, - &target_filter, - for_test, - options, - )?; + let mut options = move_prover::cli::Options::create_from_args(&args)?; + + // provide Sui-specific Boogie template for the native functions to the prover. + options.backend.custom_natives = + Some(move_prover_boogie_backend::options::CustomNativeOptions { + template_bytes: SUI_NATIVE_TEMPLATE.to_vec(), + module_instance_names: vec![ + ( + "0x2::transfer".to_string(), + "transfer_instances".to_string(), + ), + ("0x2::id".to_string(), "id_instances".to_string()), + ("0x2::event".to_string(), "sui_event_instances".to_string()), + ], + }); + + let prover_result = std::thread::spawn(move || { + prove::run_move_prover( + build_config, + &rerooted_path, + &target_filter, + for_test, + options, + ) + }); - Ok(()) + prover_result.join().expect("move prover thread panicked") } } diff --git a/crates/sui/src/sui_move/sui-natives.bpl b/crates/sui/src/sui_move/sui-natives.bpl new file mode 100644 index 0000000000000..2b135d914ac7e --- /dev/null +++ b/crates/sui/src/sui_move/sui-natives.bpl @@ -0,0 +1,65 @@ +// Copyright (c) 2022, Mysten Labs, Inc. +// SPDX-License-Identifier: Apache-2.0 + +// ================================================================================== +// Native transfer + + +{%- for instance in transfer_instances %} + +{%- set S = "'" ~ instance.suffix ~ "'" -%} +{%- set T = instance.name -%} + +// ---------------------------------------------------------------------------------- +// Native transfer implementation for object type `{{instance.suffix}}` + + +procedure {:inline 1} $2_transfer_transfer_internal{{S}}(obj: {{T}}, recipient: int, to_object: bool); + +procedure {:inline 1} $2_transfer_share_object{{S}}(obj: {{T}}); + +procedure {:inline 1} $2_transfer_freeze_object{{S}}(obj: {{T}}); + +{%- endfor %} + +procedure {:inline 1} $2_transfer_delete_child_object_internal(child: int, child_id: $2_id_VersionedID); + +// ================================================================================== +// Native id + +procedure {:inline 1} $2_id_bytes_to_address(bytes: Vec (int)) returns (res: int); + +{%- for instance in id_instances %} +{%- set S = "'" ~ instance.suffix ~ "'" -%} +{%- set T = instance.name -%} + +// ---------------------------------------------------------------------------------- +// Native id implementation for object type `{{instance.suffix}}` + + +procedure {:inline 1} $2_id_get_versioned_id{{S}}(obj: {{T}}) returns (res: $2_id_VersionedID); + +procedure {:inline 1} $2_id_delete_id{{S}}(id: {{T}}); + +{%- endfor %} + +// ================================================================================== +// Native tx_context + +procedure {:inline 1} $2_tx_context_derive_id(tx_hash: Vec (int), ids_created: int) returns (res: int); + +// ================================================================================== +// Native event + + +{%- for instance in sui_event_instances %} + +{%- set S = "'" ~ instance.suffix ~ "'" -%} +{%- set T = instance.name -%} + +// ---------------------------------------------------------------------------------- +// Native Sui event implementation for object type `{{instance.suffix}}` + +procedure {:inline 1} $2_event_emit{{S}}(event: {{T}}); + +{%- endfor %} diff --git a/crates/test-utils/Cargo.toml b/crates/test-utils/Cargo.toml index 39fe2242ffb6c..9d3e53ae9e92e 100644 --- a/crates/test-utils/Cargo.toml +++ b/crates/test-utils/Cargo.toml @@ -28,6 +28,6 @@ sui-node = { path = "../sui-node" } sui-swarm = { path = "../sui-swarm" } sui-types = { path = "../sui-types" } -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } workspace-hack = { path = "../workspace-hack"} diff --git a/crates/workspace-hack/Cargo.toml b/crates/workspace-hack/Cargo.toml index d3eb48c1c8ac4..a5ecee3dc5069 100644 --- a/crates/workspace-hack/Cargo.toml +++ b/crates/workspace-hack/Cargo.toml @@ -64,7 +64,7 @@ bls-crypto = { git = "https://github.com/huitseeker/celo-bls-snark-rs", branch = blst = { version = "0.3" } bs58 = { version = "0.4", features = ["alloc", "std"] } bstr = { version = "0.2", features = ["lazy_static", "regex-automata", "serde", "serde1", "serde1-nostd", "std", "unicode"] } -bytecode-interpreter-crypto = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["fiat"] } +bytecode-interpreter-crypto = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["fiat"] } bytemuck = { version = "1", default-features = false } byteorder = { version = "1", features = ["i128", "std"] } bytes = { version = "1", features = ["std"] } @@ -259,41 +259,41 @@ minimal-lexical = { version = "0.2", default-features = false, features = ["std" miniz_oxide = { version = "0.5", default-features = false } mio = { version = "0.8", features = ["net", "os-ext", "os-poll"] } mockall = { version = "0.11", default-features = false } -move-abigen = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-binary-format = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-borrow-graph = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-bytecode-source-map = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-bytecode-verifier = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-bytecode-viewer = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-cli = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-command-line-common = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-compiler = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } -move-coverage = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-disassembler = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-docgen = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-errmapgen = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-ir-compiler = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-ir-to-bytecode = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-ir-to-bytecode-syntax = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-ir-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-model = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-prover = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-prover-boogie-backend = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-read-write-set-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-resource-viewer = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-stackless-bytecode = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-stackless-bytecode-interpreter = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-stdlib = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false, features = ["testing"] } -move-symbol-pool = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-table-extension = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-transactional-test-runner = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-unit-test = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-vm-runtime = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["debugging", "testing"] } -move-vm-test-utils = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-vm-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-abigen = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-binary-format = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-borrow-graph = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-bytecode-source-map = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-bytecode-verifier = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-bytecode-viewer = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-cli = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-command-line-common = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-compiler = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } +move-coverage = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-disassembler = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-docgen = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-errmapgen = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-ir-compiler = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-ir-to-bytecode = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-ir-to-bytecode-syntax = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-ir-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-model = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-prover = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-prover-boogie-backend = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-read-write-set-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-resource-viewer = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-stackless-bytecode = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-stackless-bytecode-interpreter = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-stdlib = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false, features = ["testing"] } +move-symbol-pool = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-table-extension = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-transactional-test-runner = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-unit-test = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-vm-runtime = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["debugging", "testing"] } +move-vm-test-utils = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-vm-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } multiaddr = { version = "0.14", features = ["url"] } multihash = { version = "0.16", default-features = false, features = ["alloc", "derive", "identity", "multihash-derive", "multihash-impl", "std"] } multimap = { version = "0.8", default-features = false } @@ -380,8 +380,8 @@ rand_xorshift = { version = "0.3", default-features = false } rand_xoshiro = { version = "0.6", default-features = false } rayon = { version = "1", default-features = false } rayon-core = { version = "1", default-features = false } -read-write-set = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -read-write-set-dynamic = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } +read-write-set = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +read-write-set-dynamic = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } ref-cast = { version = "1", default-features = false } regex = { version = "1", features = ["aho-corasick", "memchr", "perf", "perf-cache", "perf-dfa", "perf-inline", "perf-literal", "std", "unicode", "unicode-age", "unicode-bool", "unicode-case", "unicode-gencat", "unicode-perl", "unicode-script", "unicode-segment"] } regex-automata = { version = "0.1", features = ["regex-syntax", "std"] } @@ -613,7 +613,7 @@ blst = { version = "0.3" } bs58 = { version = "0.4", features = ["alloc", "std"] } bstr = { version = "0.2", features = ["lazy_static", "regex-automata", "serde", "serde1", "serde1-nostd", "std", "unicode"] } bumpalo = { version = "3" } -bytecode-interpreter-crypto = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["fiat"] } +bytecode-interpreter-crypto = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["fiat"] } bytemuck = { version = "1", default-features = false } byteorder = { version = "1", features = ["i128", "std"] } bytes = { version = "1", features = ["std"] } @@ -837,41 +837,41 @@ miniz_oxide = { version = "0.5", default-features = false } mio = { version = "0.8", features = ["net", "os-ext", "os-poll"] } mockall = { version = "0.11", default-features = false } mockall_derive = { version = "0.11", default-features = false } -move-abigen = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-binary-format = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-borrow-graph = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-bytecode-source-map = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-bytecode-verifier = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-bytecode-viewer = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-cli = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-command-line-common = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-compiler = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-core-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["address20"] } -move-coverage = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-disassembler = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-docgen = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-errmapgen = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-ir-compiler = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-ir-to-bytecode = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-ir-to-bytecode-syntax = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-ir-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-model = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-package = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-prover = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-prover-boogie-backend = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-read-write-set-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-resource-viewer = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-stackless-bytecode = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-stackless-bytecode-interpreter = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-stdlib = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false, features = ["testing"] } -move-symbol-pool = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-table-extension = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-transactional-test-runner = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-unit-test = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -move-vm-runtime = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", features = ["debugging", "testing"] } -move-vm-test-utils = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } -move-vm-types = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003" } +move-abigen = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-binary-format = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-borrow-graph = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-bytecode-source-map = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-bytecode-utils = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-bytecode-verifier = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-bytecode-viewer = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-cli = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-command-line-common = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-compiler = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-core-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["address20"] } +move-coverage = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-disassembler = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-docgen = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-errmapgen = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-ir-compiler = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-ir-to-bytecode = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-ir-to-bytecode-syntax = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-ir-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-model = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-package = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-prover = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-prover-boogie-backend = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-read-write-set-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-resource-viewer = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-stackless-bytecode = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-stackless-bytecode-interpreter = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-stdlib = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false, features = ["testing"] } +move-symbol-pool = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-table-extension = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-transactional-test-runner = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-unit-test = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +move-vm-runtime = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", features = ["debugging", "testing"] } +move-vm-test-utils = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } +move-vm-types = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f" } multiaddr = { version = "0.14", features = ["url"] } multihash = { version = "0.16", default-features = false, features = ["alloc", "derive", "identity", "multihash-derive", "multihash-impl", "std"] } multihash-derive = { version = "0.8", default-features = false, features = ["std"] } @@ -979,8 +979,8 @@ rand_xorshift = { version = "0.3", default-features = false } rand_xoshiro = { version = "0.6", default-features = false } rayon = { version = "1", default-features = false } rayon-core = { version = "1", default-features = false } -read-write-set = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } -read-write-set-dynamic = { git = "https://github.com/move-language/move", rev = "7abcc9b03b25bb6ceb9ac68c2f7bdd5710e13003", default-features = false } +read-write-set = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } +read-write-set-dynamic = { git = "https://github.com/move-language/move", rev = "7733658048a8bc80e9ba415b8c99aed9234eaa5f", default-features = false } readonly = { version = "0.2", default-features = false } ref-cast = { version = "1", default-features = false } ref-cast-impl = { version = "1", default-features = false }