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

… repo.
tlaplus · Dec 6, 2023 · f0407d6 · f0407d6
1 parent df7f099
commit f0407d6
Show file tree

Hide file tree

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