Execution version cut

MystenLabs · May 1, 2024 · 1cd7d59 · 1cd7d59
1 parent 78b0671
commit 1cd7d59
Show file tree

Hide file tree

Showing 17 changed files with 489 additions and 10 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/external-crates/move/Cargo.lock b/external-crates/move/Cargo.lock
diff --git a/external-crates/move/Cargo.toml b/external-crates/move/Cargo.toml
@@ -19,6 +19,8 @@ members = [
     "move-execution/v1/crates/move-stdlib-natives",
     "move-execution/v2/crates/move-stdlib-natives",
     # "move-execution/$CUT/crates/move-stdlib-natives",
+    "move-execution/v2/crates/move-abstract-interpreter",
+    # "move-execution/$CUT/crates/move-abstract-interpreter",
 ]
 
 # Dependencies that should be kept in sync through the whole workspace

diff --git a/external-crates/move/move-execution/v0/crates/bytecode-verifier-tests/Cargo.toml b/external-crates/move/move-execution/v0/crates/bytecode-verifier-tests/Cargo.toml
@@ -20,7 +20,7 @@ move-bytecode-verifier = { path = "../move-bytecode-verifier", package = "move-b
 move-bytecode-verifier-meter.workspace = true
 move-core-types.workspace = true
 move-vm-config.workspace = true
-move-abstract-interpreter.workspace = true
+move-abstract-interpreter = { path = "../../../v2/crates/move-abstract-interpreter", package = "move-abstract-interpreter-v2" }
 
 [features]
 fuzzing = ["move-binary-format/fuzzing"]
diff --git a/external-crates/move/move-execution/v0/crates/move-bytecode-verifier/Cargo.toml b/external-crates/move/move-execution/v0/crates/move-bytecode-verifier/Cargo.toml
@@ -18,7 +18,7 @@ move-bytecode-verifier-meter.workspace = true
 move-core-types.workspace = true
 move-vm-config.workspace = true
 move-abstract-stack.workspace = true
-move-abstract-interpreter.workspace = true
+move-abstract-interpreter = { path = "../../../v2/crates/move-abstract-interpreter", package = "move-abstract-interpreter-v2" }
 
 [dev-dependencies]
 hex-literal.workspace = true

diff --git a/external-crates/move/move-execution/v1/crates/bytecode-verifier-tests/Cargo.toml b/external-crates/move/move-execution/v1/crates/bytecode-verifier-tests/Cargo.toml
@@ -20,7 +20,7 @@ move-bytecode-verifier = { path = "../move-bytecode-verifier", package = "move-b
 move-bytecode-verifier-meter.workspace = true
 move-core-types.workspace = true
 move-vm-config.workspace = true
-move-abstract-interpreter.workspace = true
+move-abstract-interpreter = { path = "../../../v2/crates/move-abstract-interpreter", package = "move-abstract-interpreter-v2" }
 
 [features]
 fuzzing = ["move-binary-format/fuzzing"]
diff --git a/external-crates/move/move-execution/v1/crates/move-bytecode-verifier/Cargo.toml b/external-crates/move/move-execution/v1/crates/move-bytecode-verifier/Cargo.toml
@@ -18,7 +18,7 @@ move-bytecode-verifier-meter.workspace = true
 move-core-types.workspace = true
 move-vm-config.workspace = true
 move-abstract-stack.workspace = true
-move-abstract-interpreter.workspace = true
+move-abstract-interpreter = { path = "../../../v2/crates/move-abstract-interpreter", package = "move-abstract-interpreter-v2" }
 
 [dev-dependencies]
 hex-literal.workspace = true

diff --git a/external-crates/move/move-execution/v2/crates/bytecode-verifier-tests/Cargo.toml b/external-crates/move/move-execution/v2/crates/bytecode-verifier-tests/Cargo.toml
@@ -20,7 +20,7 @@ move-bytecode-verifier = { path = "../move-bytecode-verifier", package = "move-b
 move-bytecode-verifier-meter.workspace = true
 move-core-types.workspace = true
 move-vm-config.workspace = true
-move-abstract-interpreter.workspace = true
+move-abstract-interpreter = { path = "../../../v2/crates/move-abstract-interpreter", package = "move-abstract-interpreter-v2" }
 
 [features]
 fuzzing = ["move-binary-format/fuzzing"]
diff --git a/external-crates/move/move-execution/v2/crates/move-abstract-interpreter/Cargo.toml b/external-crates/move/move-execution/v2/crates/move-abstract-interpreter/Cargo.toml
@@ -0,0 +1,15 @@
+[package]
+name = "move-abstract-interpreter-v2"
+version = "0.1.0"
+authors = ["The Move Contributors"]
+description = "Move abstract interpreter"
+license = "Apache-2.0"
+publish = false
+edition = "2021"
+
+[dependencies]
+move-binary-format.workspace = true
+move-bytecode-verifier-meter.workspace = true
+
+[features]
+default = []