submodules

meta-introspector · Jan 31, 2024 · de44577 · de44577
1 parent 0838069
commit de44577
Show file tree

Hide file tree

Showing 3 changed files with 8 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -2882,3 +2882,9 @@
 [submodule "2024/01/31/saw-script"]
 	path = 2024/01/31/saw-script
 	url = https://github.com/GaloisInc/saw-script
+[submodule "2024/01/31/bedrock2"]
+	path = 2024/01/31/bedrock2
+	url = https://github.com/mit-plv/bedrock2
+[submodule "2024/01/31/coq-ltac2-experiments"]
+	path = 2024/01/31/coq-ltac2-experiments
+	url = https://github.com/tchajed/coq-ltac2-experiments
diff --git a/2024/01/31/bedrock2 b/2024/01/31/bedrock2
diff --git a/2024/01/31/coq-ltac2-experiments b/2024/01/31/coq-ltac2-experiments