Add external repo as submodules

1. STP 2. Z3 3. bugbasev2 4. klee-uclibc
efeslab · Mar 2, 2021 · d20046c · d20046c
1 parent 491c492
commit d20046c
Show file tree

Hide file tree

Showing 7 changed files with 24 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,18 @@
+[submodule "third-party/stp"]
+	path = third-party/stp
+	url = https://github.com/stp/stp
+[submodule "third-party/z3"]
+	path = third-party/z3
+	url = https://github.com/Z3Prover/z3
+[submodule "third-party/bugbasev2"]
+	path = third-party/bugbasev2
+	url = https://github.com/efeslab/bugbasev2
+[submodule "third-party/klee-uclibc"]
+	path = third-party/klee-uclibc
+	url = https://github.com/efeslab/klee-uclibc
+[submodule "third-party/cryptominisat"]
+	path = third-party/cryptominisat
+	url = https://github.com/msoos/cryptominisat
+[submodule "third-party/minisat"]
+	path = third-party/minisat
+	url = https://github.com/stp/minisat
diff --git a/third-party/bugbasev2 b/third-party/bugbasev2
diff --git a/third-party/cryptominisat b/third-party/cryptominisat
diff --git a/third-party/klee-uclibc b/third-party/klee-uclibc
diff --git a/third-party/minisat b/third-party/minisat
diff --git a/third-party/stp b/third-party/stp
diff --git a/third-party/z3 b/third-party/z3