move-language · sblackshear · Apr 21, 2022 · Apr 21, 2022
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -52,7 +52,6 @@ members = [
     "language/testing-infra/module-generation",
     "language/testing-infra/test-generation",
     "language/testing-infra/transactional-test-runner",
-    "language/tools/mirai-dataflow-analysis",
     "language/tools/move-bytecode-utils",
     "language/tools/move-bytecode-viewer",
     "language/tools/move-cli",

diff --git a/language/tools/README.md b/language/tools/README.md
@@ -47,7 +47,6 @@ The `move-resource-viewer`, and `read-write-set` similarly are library
 crates that are used by and exposed by the Move CLI, but not through the
 `package` subcommand.
 
-The `mirai-dataflow-analysis` and `move-bytecode-utils` crates are separate
-crates that are either experimental in nature, or libraries holding general
+The `move-bytecode-utils` crates holds general
 utilities for working with Move bytecode, e.g., computing the dependency
 order for modules.
diff --git a/language/tools/mirai-dataflow-analysis/.gitignore b/language/tools/mirai-dataflow-analysis/.gitignore
diff --git a/language/tools/mirai-dataflow-analysis/Cargo.toml b/language/tools/mirai-dataflow-analysis/Cargo.toml
diff --git a/language/tools/mirai-dataflow-analysis/README.md b/language/tools/mirai-dataflow-analysis/README.md