Add first batch of linked example specs as submodules to the examples…

… repo.
tlaplus · Dec 7, 2023 · c7e0ca3 · c7e0ca3
1 parent df7f099
commit c7e0ca3
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,9 @@
+[submodule "specifications/CCF"]
+	path = specifications/CCF
+	url = https://github.com/microsoft/CCF.git
+[submodule "specifications/azure-cosmos-tla"]
+	path = specifications/azure-cosmos-tla
+	url = https://github.com/tlaplus/azure-cosmos-tla.git
+[submodule "specifications/BlockingQueue"]
+	path = specifications/BlockingQueue
+	url = https://github.com/lemmy/BlockingQueue.git
diff --git a/specifications/BlockingQueue b/specifications/BlockingQueue
diff --git a/specifications/CCF b/specifications/CCF
diff --git a/specifications/azure-cosmos-tla b/specifications/azure-cosmos-tla