From 7e0f144f6a8f57d44f7fb811fceb2a9bfa15d20e Mon Sep 17 00:00:00 2001 From: JianyiCheng Date: Tue, 4 Jul 2023 14:35:24 +0100 Subject: [PATCH] Added cheri-llvm --- .gitmodules | 3 +++ llvm-project | 1 + 2 files changed, 4 insertions(+) create mode 160000 llvm-project diff --git a/.gitmodules b/.gitmodules index 34b2cb4..24bcd0f 100644 --- 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 = git@github.com:CTSRD-CHERI/llvm-project.git diff --git a/llvm-project b/llvm-project new file mode 160000 index 0000000..19d402e --- /dev/null +++ b/llvm-project @@ -0,0 +1 @@ +Subproject commit 19d402e23fcaa197e1d40547da403dc17e13c7ae