Eugene/clean deps (#13780)

ebmifa · web-flow · commit 612d7ce592ed · 2023-09-14T12:48:01.000-06:00
## Description Ran `cargo machete` to (see https://github.com/bnjbvr/cargo-machete) to determine un-used dependencies and removed them. ## Test Plan preland ci
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/benchmarks/Cargo.toml b/benchmarks/Cargo.toml
@@ -10,13 +10,10 @@ publish = false
 edition = "2021"
 
 [dependencies]
-anyhow = "1.0.52"
 criterion = "0.3.4"
 once_cell = "1.7.2"
-proptest = "1.0.0"
 criterion-cpu-time = "0.1.0"
 
-move-bytecode-verifier = { path = "../move-bytecode-verifier" }
 move-core-types = { path = "../move-core/types" }
 move-compiler = { path = "../move-compiler" }
 move-vm-runtime = { path = "../move-vm/runtime" }
diff --git a/documentation/examples/diem-framework/crates/cli/Cargo.toml b/documentation/examples/diem-framework/crates/cli/Cargo.toml
@@ -11,11 +11,8 @@ edition = "2021"
 anyhow = "1.0.52"
 clap = { version = "4", features = ["derive"] }
 
-bcs = "0.1.4"
-
 move-stdlib = { path = "../../../../../move-stdlib" }
 move-core-types = { path = "../../../../../move-core/types" }
-move-vm-types = { path = "../../../../../move-vm/types" }
 move-cli = { path = "../../../../../tools/move-cli" }
 move-vm-test-utils = { path = "../../../../../move-vm/test-utils" }
 
diff --git a/documentation/examples/diem-framework/crates/crypto/Cargo.toml b/documentation/examples/diem-framework/crates/crypto/Cargo.toml
@@ -19,7 +19,6 @@ mirai-annotations = "1.10.1"
 proptest = { version = "1.0.0", optional = true }
 proptest-derive = { version = "0.3.0", optional = true }
 rand = "0.8.0"
-rand_core = { version = "0.6.2", default-features = false }
 serde = { version = "1.0.124", features = ["derive"] }
 serde_bytes = "0.11.5"
 serde-name = "0.1.1"
diff --git a/move-analyzer/Cargo.toml b/move-analyzer/Cargo.toml
@@ -16,8 +16,6 @@ dunce = "1.0.2"
 im = "15.1.0"
 lsp-server = "0.5.1"
 lsp-types = "0.90.1"
-petgraph = "0.5.1"
-serde = { version = "1.0", features = ["derive"] }
 serde_json = "1.0.64"
 tempfile = "3.2.0"
 url = "2.2.2"
diff --git a/move-binary-format/Cargo.toml b/move-binary-format/Cargo.toml
@@ -11,7 +11,6 @@ edition = "2021"
 
 [dependencies]
 anyhow = "1.0.52"
-once_cell = "1.7.2"
 proptest = { version = "1.0.0", optional = true }
 proptest-derive = { version = "0.3.0", optional = true }
 ref-cast = "1.0.6"
diff --git a/move-bytecode-verifier/Cargo.toml b/move-bytecode-verifier/Cargo.toml
@@ -10,9 +10,7 @@ publish = false
 edition = "2021"
 
 [dependencies]
-anyhow = "1.0.52"
 petgraph = "0.5.1"
-fail = "0.4.0"
 
 move-borrow-graph = { path = "../move-borrow-graph" }
 move-binary-format = { path = "../move-binary-format" }
diff --git a/move-compiler/Cargo.toml b/move-compiler/Cargo.toml
@@ -13,13 +13,9 @@ codespan-reporting = "0.11.1"
 hex = "0.4.3"
 regex = "1.5.5"
 clap.workspace = true
-difference = "2.0.0"
 petgraph = "0.5.1"
-walkdir = "2.3.1"
 tempfile = "3.2.0"
 once_cell = "1.7.2"
-num-bigint = "0.4.0"
-sha3 = "0.9.1"
 serde = { version = "1.0", features = ["derive"] }
 
 bcs.workspace = true
diff --git a/move-ir-compiler/Cargo.toml b/move-ir-compiler/Cargo.toml
@@ -15,10 +15,7 @@ move-bytecode-verifier = { path = "../move-bytecode-verifier" }
 move-command-line-common = { path = "../move-command-line-common" }
 move-ir-to-bytecode = { path = "move-ir-to-bytecode" }
 move-bytecode-source-map = { path = "move-bytecode-source-map" }
-move-ir-types = { path = "../move-ir/types" }
-move-core-types = { path = "../move-core/types" }
 move-binary-format = { path = "../move-binary-format" }
-move-symbol-pool = { path = "../move-symbol-pool" }
 clap.workspace = true
 serde_json = "1.0.64"
 
diff --git a/move-ir-compiler/move-ir-to-bytecode/Cargo.toml b/move-ir-compiler/move-ir-to-bytecode/Cargo.toml
@@ -20,7 +20,6 @@ move-symbol-pool = { path = "../../move-symbol-pool" }
 move-bytecode-source-map = { path = "../move-bytecode-source-map" }
 log = "0.4.14"
 codespan-reporting = "0.11.1"
-thiserror = "1.0.24"
 ouroboros = "0.17.2"
 
 [features]
diff --git a/move-ir/types/Cargo.toml b/move-ir/types/Cargo.toml
@@ -12,7 +12,6 @@ edition = "2021"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-anyhow = "1.0.52"
 serde = { version = "1.0.124", features = ["derive"] }
 hex = "0.4.3"
 once_cell = "1.7.2"
diff --git a/move-model/Cargo.toml b/move-model/Cargo.toml
@@ -9,7 +9,6 @@ license = "Apache-2.0"
 [dependencies]
 # diem dependencies
 move-compiler = { path = "../move-compiler" }
-move-bytecode-verifier = { path = "../move-bytecode-verifier" }
 move-binary-format = { path = "../move-binary-format" }
 move-bytecode-source-map = { path = "../move-ir-compiler/move-bytecode-source-map" }
 move-ir-types = { path = "../move-ir/types" }
diff --git a/move-prover/Cargo.toml b/move-prover/Cargo.toml
@@ -10,34 +10,22 @@ license = "Apache-2.0"
 # move dependencies
 move-prover-boogie-backend = { path = "boogie-backend" }
 move-command-line-common = { path = "../move-command-line-common" }
-move-binary-format = { path = "../move-binary-format" }
 move-compiler = { path = "../move-compiler" }
 move-model = { path = "../move-model" }
 move-docgen = { path = "move-docgen" }
 move-abigen = { path = "move-abigen" }
 move-errmapgen = { path = "move-errmapgen" }
 move-stackless-bytecode = { path = "bytecode" }
-move-ir-types = { path = "../move-ir/types" }
-move-core-types = { path = "../move-core/types" }
 
 # external dependencies
-async-trait = "0.1.42"
 anyhow = "1.0.52"
 clap.workspace = true
-codespan = "0.11.1"
 codespan-reporting = "0.11.1"
-futures = "0.3.12"
-hex = "0.4.3"
 itertools = "0.10.0"
 log = { version = "0.4.14", features = ["serde"] }
-num = "0.4.0"
-pretty = "0.10.0"
-rand = "0.8.3"
 serde = { version = "1.0.124", features = ["derive"] }
-serde_json = "1.0.64"
 simplelog = "0.9.0"
 once_cell = "1.7.2"
-tokio = { version = "1.18.2", features = ["full"] }
 toml = "0.5.8"
 
 [dev-dependencies]
diff --git a/move-prover/boogie-backend/Cargo.toml b/move-prover/boogie-backend/Cargo.toml
@@ -18,7 +18,6 @@ itertools = "0.10.0"
 move-core-types = { path = "../../move-core/types" }
 log = "0.4.14"
 serde = { version = "1.0.124", features = ["derive"] }
-serde_json = "1.0.64"
 anyhow = "1.0.52"
 once_cell = "1.7.2"
 pretty = "0.10.0"
diff --git a/move-prover/bytecode/Cargo.toml b/move-prover/bytecode/Cargo.toml
@@ -12,9 +12,6 @@ edition = "2021"
 [dependencies]
 move-model = { path = "../../move-model" }
 move-binary-format = { path = "../../move-binary-format" }
-move-bytecode-verifier = { path = "../../move-bytecode-verifier" }
-move-borrow-graph = { path = "../../move-borrow-graph" }
-move-ir-to-bytecode = { path = "../../move-ir-compiler/move-ir-to-bytecode" }
 move-core-types = { path = "../../move-core/types" }
 move-command-line-common = { path = "../../move-command-line-common" }
 move-read-write-set-types = { path = "../../tools/read-write-set/types" }
@@ -28,7 +25,6 @@ im = "15.0.0"
 itertools = "0.10.0"
 log = "0.4.14"
 serde = { version = "1.0.124", features = ["derive"] }
-once_cell = "1.7.2"
 paste = "1.0.5"
 petgraph = "0.5.1"
 
diff --git a/move-prover/interpreter/Cargo.toml b/move-prover/interpreter/Cargo.toml
@@ -19,7 +19,6 @@ anyhow = "1.0.52"
 codespan-reporting = "0.11.1"
 itertools = "0.10.0"
 num = "0.4.0"
-serde = { version = "1.0.124", features = ["derive"] }
 clap.workspace = true
 
 [dev-dependencies]
diff --git a/move-prover/lab/Cargo.toml b/move-prover/lab/Cargo.toml
@@ -21,11 +21,7 @@ anyhow = "1.0.52"
 clap.workspace = true
 codespan-reporting = "0.11.1"
 chrono = "0.4.19"
-hex = "0.4.3"
 itertools = "0.10.0"
 log = { version = "0.4.14", features = ["serde"] }
-num = "0.4.0"
 plotters = { version = "0.3.0", default_features = false, features = ["evcxr", "line_series", "histogram"]}
-serde = { version = "1.0.124", features = ["derive"] }
-serde_json = "1.0.64"
-simplelog = "0.9.0"
+
diff --git a/move-prover/move-errmapgen/Cargo.toml b/move-prover/move-errmapgen/Cargo.toml
@@ -12,10 +12,7 @@ move-command-line-common = { path = "../../move-command-line-common" }
 move-model = { path = "../../move-model" }
 move-core-types = { path = "../../move-core/types" }
 
-bcs.workspace = true
-
 # external dependencies
-log = "0.4.14"
 anyhow = "1.0.52"
 serde = { version = "1.0.124", features = ["derive"] }
 
diff --git a/move-prover/mutation/Cargo.toml b/move-prover/mutation/Cargo.toml
@@ -16,13 +16,7 @@ move-stackless-bytecode = { path = "../bytecode"}
 # external dependencies
 anyhow = "1.0.52"
 clap.workspace = true
-codespan = "0.11.1"
 codespan-reporting = "0.11.1"
-chrono = "0.4.19"
-hex = "0.4.3"
 itertools = "0.10.0"
 log = { version = "0.4.14", features = ["serde"] }
-num = "0.4.0"
-serde = { version = "1.0.124", features = ["derive"] }
-serde_json = "1.0.64"
-simplelog = "0.9.0"
+
diff --git a/move-vm/profiler/Cargo.toml b/move-vm/profiler/Cargo.toml
@@ -9,7 +9,6 @@ edition = "2021"
 [dependencies]
 serde = { version = "1.0.140", features = ["derive"] }
 serde_json = "1.0.88"
-serde_with = "2.1.0"
 once_cell = "1.7.2"
 
 move-vm-config = { path = "../config" }
diff --git a/move-vm/types/Cargo.toml b/move-vm/types/Cargo.toml
@@ -10,7 +10,6 @@ publish = false
 edition = "2021"
 
 [dependencies]
-once_cell = "1.7.2"
 proptest = { version = "1.0.0", optional = true }
 serde = { version = "1.0.124", features = ["derive", "rc"] }
 smallvec = "1.6.1"
diff --git a/testing-infra/move-proc-macros/Cargo.toml b/testing-infra/move-proc-macros/Cargo.toml
@@ -12,5 +12,4 @@ proc-macro = true
 [dependencies]
 quote = "1"
 syn = { version = "2", features = ["full", "fold", "extra-traits"] }
-proc-macro2 = "1"
 enum-compat-util = { path = "../enum-compat-util" }
diff --git a/testing-infra/transactional-test-runner/Cargo.toml b/testing-infra/transactional-test-runner/Cargo.toml
@@ -11,7 +11,6 @@ edition = "2021"
 
 [dependencies]
 anyhow = "1.0.52"
-colored = "2.0.0"
 once_cell = "1.7.2"
 regex = "1.1.9"
 rayon = "1.5.0"
@@ -20,12 +19,9 @@ tempfile = "3.2.0"
 async-trait = "0.1.61"
 tokio = "1.27.0"
 
-move-stackless-bytecode-interpreter = { path = "../../move-prover/interpreter" }
-move-bytecode-verifier = { path = "../../move-bytecode-verifier" }
 move-bytecode-source-map = { path = "../../move-ir-compiler/move-bytecode-source-map" }
 move-disassembler = { path = "../../tools/move-disassembler" }
 move-binary-format = { path = "../../move-binary-format" }
-move-bytecode-utils = { path = "../../tools/move-bytecode-utils" }
 move-cli = { path = "../../tools/move-cli" }
 move-command-line-common = { path = "../../move-command-line-common" }
 move-core-types = { path = "../../move-core/types" }
diff --git a/tools/move-bytecode-viewer/Cargo.toml b/tools/move-bytecode-viewer/Cargo.toml
@@ -14,9 +14,7 @@ regex = "1.5.5"
 tui = "0.17.0"
 crossterm = "0.21"
 
-move-command-line-common = { path = "../../move-command-line-common" }
 move-bytecode-source-map = { path = "../../move-ir-compiler/move-bytecode-source-map" }
-move-ir-types = { path = "../../move-ir/types" }
 move-binary-format = { path = "../../move-binary-format" }
 move-disassembler = { path = "../move-disassembler" }
 
diff --git a/tools/move-cli/Cargo.toml b/tools/move-cli/Cargo.toml
@@ -13,17 +13,12 @@ edition = "2021"
 anyhow = "1.0.52"
 colored = "2.0.0"
 difference = "2.0.0"
-once_cell = "1.7.2"
-serde = { version = "1.0.124", default-features = false }
 serde_yaml = "0.8.17"
 clap.workspace = true
 tempfile = "3.2.0"
 walkdir = "2.3.1"
 codespan-reporting = "0.11.1"
-itertools = "0.10.0"
-serde_json = "1.0"
 toml_edit =  { version = "0.14.3", features = ["easy"] }
-reqwest = { version = "0.11.1", default-features = false, features = ["rustls-tls", "blocking", "json"] }
 
 bcs.workspace = true
 
@@ -37,20 +32,17 @@ move-core-types = { path = "../../move-core/types" }
 move-ir-types = { path = "../../move-ir/types" }
 move-compiler = { path = "../../move-compiler" }
 move-stdlib = { path = "../../move-stdlib", features = ["testing"] }
-move-symbol-pool = { path = "../../move-symbol-pool" }
 move-vm-types = { path = "../../move-vm/types" }
 move-vm-runtime = { path = "../../move-vm/runtime", features = ["debugging"] }
 move-vm-profiler = { path = "../../move-vm/profiler"}
 move-vm-test-utils = { path = "../../move-vm/test-utils" }
 read-write-set = { path = "../read-write-set" }
-read-write-set-dynamic = { path = "../read-write-set/dynamic" }
 move-resource-viewer = { path = "../move-resource-viewer" }
 move-binary-format = { path = "../../move-binary-format" }
 move-package = { path = "../move-package" }
 move-prover = { path = "../../move-prover" }
 move-unit-test = { path = "../move-unit-test" }
 move-errmapgen = { path = "../../move-prover/move-errmapgen" }
-move-bytecode-source-map = { path = "../../move-ir-compiler/move-bytecode-source-map" }
 move-bytecode-viewer = { path = "../move-bytecode-viewer" }
 
 [dev-dependencies]
diff --git a/tools/move-coverage/Cargo.toml b/tools/move-coverage/Cargo.toml
@@ -10,7 +10,6 @@ publish = false
 edition = "2021"
 
 [dependencies]
-once_cell = "1.7.2"
 petgraph = "0.5.1"
 clap.workspace = true
 serde = { version = "1.0.124", default-features = false }
diff --git a/tools/move-disassembler/Cargo.toml b/tools/move-disassembler/Cargo.toml
@@ -11,7 +11,6 @@ edition = "2021"
 anyhow = "1.0.52"
 colored = "2.0.0"
 
-move-bytecode-verifier = { path = "../../move-bytecode-verifier" }
 move-bytecode-source-map = { path = "../../move-ir-compiler/move-bytecode-source-map" }
 move-command-line-common = { path = "../../move-command-line-common" }
 move-core-types = { path = "../../move-core/types" }
diff --git a/tools/move-package/Cargo.toml b/tools/move-package/Cargo.toml
@@ -22,10 +22,6 @@ regex = "1.1.9"
 treeline = "0.1.0"
 once_cell = "1.7.2"
 named-lock = "0.2.0"
-dirs-next = "2.0.0"
-itertools = "0.10.0"
-
-bcs.workspace = true
 
 move-binary-format = { path = "../../move-binary-format" }
 move-compiler = { path = "../../move-compiler" }
@@ -38,10 +34,6 @@ move-command-line-common = { path = "../../move-command-line-common" }
 move-model = { path = "../../move-model" }
 move-bytecode-utils = { path = "../move-bytecode-utils" }
 
-termcolor = { version = "1.1.2", optional = true }
-hex = { version = "0.4.3", optional = true }
-reqwest = { version = "0.11.1", default-features = false, features = ["rustls-tls", "blocking", "json"] }
-
 whoami = { version = "1.2.1" }
 
 [dev-dependencies]
diff --git a/tools/move-resource-viewer/Cargo.toml b/tools/move-resource-viewer/Cargo.toml
@@ -17,8 +17,5 @@ enum-compat-util = { path = "../../testing-infra/enum-compat-util"}
 move-proc-macros = { path = "../../testing-infra/move-proc-macros"}
 serde = { version = "1.0.124", features = ["derive", "rc"] }
 
-bcs.workspace = true
-
 anyhow = "1.0.52"
-once_cell = "1.7.2"
 hex = "0.4.3"
diff --git a/tools/move-unit-test/Cargo.toml b/tools/move-unit-test/Cargo.toml
@@ -35,7 +35,6 @@ move-binary-format = { path = "../../move-binary-format" }
 move-model = { path = "../../move-model" }
 move-stackless-bytecode-interpreter = { path = "../../move-prover/interpreter" }
 move-bytecode-utils = { path = "../move-bytecode-utils" }
-primitive-types = { version = "0.10.1", optional = true }
 
 [dev-dependencies]
 datatest-stable = "0.1.1"
diff --git a/tools/read-write-set/types/Cargo.toml b/tools/read-write-set/types/Cargo.toml
@@ -10,7 +10,6 @@ publish = ["crates-io"]
 edition = "2021"
 
 [dependencies]
-anyhow = "1.0.52"
 move-binary-format = { path = "../../../move-binary-format", version = "0.0.3" }
 move-core-types = { path = "../../../move-core/types", version = "0.0.4" }
 serde = { version = "1.0.124", default-features = false }
