Remove the crate diagen

- The diagram generation feature has been integrated in the document generator. - the stand alone diagram generator `diagen` is no longer needed. Closes: diem#8014
sausagee · Mar 23, 2021 · de4e645 · de4e645
1 parent eb36637
commit de4e645
Show file tree

Hide file tree

Showing 7 changed files with 0 additions and 236 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -85,7 +85,6 @@ members = [
     "language/move-prover/abigen",
     "language/move-prover/boogie-backend",
     "language/move-prover/bytecode",
-    "language/move-prover/diagen",
     "language/move-prover/docgen",
     "language/move-prover/errmapgen",
     "language/move-prover/test-utils",
@@ -174,7 +173,6 @@ default-members = [
     "language/compiler",
     "language/diem-framework",
     "language/move-prover",
-    "language/move-prover/diagen",
     "language/move-lang",
     "language/move-stdlib",
     "language/tools/disassembler",

diff --git a/language/move-prover/diagen/Cargo.toml b/language/move-prover/diagen/Cargo.toml
diff --git a/language/move-prover/diagen/README.md b/language/move-prover/diagen/README.md
diff --git a/language/move-prover/diagen/diagrams/convert_all_dot_to_pdf.sh b/language/move-prover/diagen/diagrams/convert_all_dot_to_pdf.sh
diff --git a/language/move-prover/diagen/diagrams/convert_all_dot_to_svg.sh b/language/move-prover/diagen/diagrams/convert_all_dot_to_svg.sh
diff --git a/language/move-prover/diagen/src/main.rs b/language/move-prover/diagen/src/main.rs