verifier: move into crates directory

blcozgn · May 16, 2022 · 4b2173d · 4b2173d
1 parent 0c6100a
commit 4b2173d
Show file tree

Hide file tree

Showing 20 changed files with 6 additions and 6 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -3,6 +3,7 @@ members = [
     "crates/sui-config",
     "crates/sui-network",
     "crates/sui-types",
+    "crates/sui-verifier",
     "crates/x",
     "faucet",
     "sui",
@@ -13,7 +14,6 @@ members = [
     "sui_programmability/adapter/transactional-tests",
     "sui_programmability/framework",
     "sui_programmability/transactional-test-runner",
-    "sui_programmability/verifier",
     "test_utils",
 ]
 

diff --git a/sui_programmability/verifier/Cargo.toml → crates/sui-verifier/Cargo.toml b/sui_programmability/verifier/Cargo.toml → crates/sui-verifier/Cargo.toml
@@ -14,4 +14,4 @@ move-core-types = { git = "https://github.com/move-language/move", rev = "1b2d3b
 move-disassembler = { git = "https://github.com/move-language/move", rev = "1b2d3b4274345f5b4b6a1a1bde5aee452003ab5b" }
 move-ir-types = { git = "https://github.com/move-language/move", rev = "1b2d3b4274345f5b4b6a1a1bde5aee452003ab5b" }
 
-sui-types = { path = "../../crates/sui-types" }
+sui-types = { path = "../sui-types" }
diff --git a/...ity/verifier/src/entry_points_verifier.rs → ...sui-verifier/src/entry_points_verifier.rs b/...ity/verifier/src/entry_points_verifier.rs → ...sui-verifier/src/entry_points_verifier.rs
diff --git a/...ier/src/global_storage_access_verifier.rs → ...ier/src/global_storage_access_verifier.rs b/...ier/src/global_storage_access_verifier.rs → ...ier/src/global_storage_access_verifier.rs
diff --git a/...ity/verifier/src/id_immutable_verifier.rs → ...sui-verifier/src/id_immutable_verifier.rs b/...ity/verifier/src/id_immutable_verifier.rs → ...sui-verifier/src/id_immutable_verifier.rs
diff --git a/...mability/verifier/src/id_leak_verifier.rs → crates/sui-verifier/src/id_leak_verifier.rs b/...mability/verifier/src/id_leak_verifier.rs → crates/sui-verifier/src/id_leak_verifier.rs
diff --git a/sui_programmability/verifier/src/lib.rs → crates/sui-verifier/src/lib.rs b/sui_programmability/verifier/src/lib.rs → crates/sui-verifier/src/lib.rs
diff --git a/.../verifier/src/struct_with_key_verifier.rs → ...-verifier/src/struct_with_key_verifier.rs b/.../verifier/src/struct_with_key_verifier.rs → ...-verifier/src/struct_with_key_verifier.rs
diff --git a/sui_programmability/verifier/src/verifier.rs → crates/sui-verifier/src/verifier.rs b/sui_programmability/verifier/src/verifier.rs → crates/sui-verifier/src/verifier.rs
diff --git a/...grammability/verifier/tests/common/mod.rs → crates/sui-verifier/tests/common/mod.rs b/...grammability/verifier/tests/common/mod.rs → crates/sui-verifier/tests/common/mod.rs
diff --git a/...y/verifier/tests/common/module_builder.rs → ...i-verifier/tests/common/module_builder.rs b/...y/verifier/tests/common/module_builder.rs → ...i-verifier/tests/common/module_builder.rs
diff --git a/...rifier/tests/entry_points_verification.rs → ...rifier/tests/entry_points_verification.rs b/...rifier/tests/entry_points_verification.rs → ...rifier/tests/entry_points_verification.rs
diff --git a/...obal_storage_access_verification_tests.rs → ...obal_storage_access_verification_tests.rs b/...obal_storage_access_verification_tests.rs → ...obal_storage_access_verification_tests.rs
diff --git a/...r/tests/id_immutable_verification_test.rs → ...r/tests/id_immutable_verification_test.rs b/...r/tests/id_immutable_verification_test.rs → ...r/tests/id_immutable_verification_test.rs
diff --git a/...rifier/tests/id_leak_verification_test.rs → ...rifier/tests/id_leak_verification_test.rs b/...rifier/tests/id_leak_verification_test.rs → ...rifier/tests/id_leak_verification_test.rs
diff --git a/...ests/struct_with_key_verification_test.rs → ...ests/struct_with_key_verification_test.rs b/...ests/struct_with_key_verification_test.rs → ...ests/struct_with_key_verification_test.rs
diff --git a/sui/Cargo.toml b/sui/Cargo.toml
@@ -44,7 +44,7 @@ sui-framework = { path = "../sui_programmability/framework" }
 sui-network = { path = "../crates/sui-network" }
 sui-config = { path = "../crates/sui-config" }
 sui-types = { path = "../crates/sui-types" }
-sui-verifier = { path = "../sui_programmability/verifier" }
+sui-verifier = { path = "../crates/sui-verifier" }
 sui-open-rpc = { path = "open_rpc" }
 sui-open-rpc-macros = { path = "open_rpc/macros" }
 

diff --git a/sui_programmability/adapter/Cargo.toml b/sui_programmability/adapter/Cargo.toml
@@ -22,7 +22,7 @@ move-vm-runtime = { git = "https://github.com/move-language/move", rev = "1b2d3b
 move-vm-types = { git = "https://github.com/move-language/move", rev = "1b2d3b4274345f5b4b6a1a1bde5aee452003ab5b" }
 
 sui-framework = { path = "../framework" }
-sui-verifier = { path = "../verifier" }
+sui-verifier = { path = "../../crates/sui-verifier" }
 sui-types = { path = "../../crates/sui-types" }
 
 [dev-dependencies]

diff --git a/sui_programmability/framework/Cargo.toml b/sui_programmability/framework/Cargo.toml
@@ -14,7 +14,7 @@ smallvec = "1.8.0"
 num_enum = "0.5.7"
 
 sui-types = { path = "../../crates/sui-types" }
-sui-verifier = { path = "../verifier" }
+sui-verifier = { path = "../../crates/sui-verifier" }
 
 move-binary-format = { git = "https://github.com/move-language/move", rev = "1b2d3b4274345f5b4b6a1a1bde5aee452003ab5b" }
 move-bytecode-verifier = { git = "https://github.com/move-language/move", rev = "1b2d3b4274345f5b4b6a1a1bde5aee452003ab5b" }

diff --git a/sui_programmability/transactional-test-runner/Cargo.toml b/sui_programmability/transactional-test-runner/Cargo.toml
@@ -35,7 +35,7 @@ move-vm-types = { git = "https://github.com/move-language/move", rev = "1b2d3b42
 
 
 sui-framework = { path = "../framework" }
-sui-verifier = { path = "../verifier" }
+sui-verifier = { path = "../../crates/sui-verifier" }
 sui-types = { path = "../../crates/sui-types" }
 sui-adapter = { path = "../adapter" }
 sui_core = { path = "../../sui_core" }