Added cheri-llvm

CTSRD-CHERI · Jul 4, 2023 · 7e0f144 · 7e0f144
1 parent 86e84e2
commit 7e0f144
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -1,3 +1,6 @@
 [submodule "pebbles"]
 	path = pebbles
 	url = https://github.com/blarney-lang/pebbles
+[submodule "llvm-project"]
+	path = llvm-project
+	url = [email protected]:CTSRD-CHERI/llvm-project.git
diff --git a/llvm-project b/llvm-project