add z3 submodule

[skip ci][skip lemma]
au-ts · May 7, 2018 · ffc55f3 · ffc55f3
1 parent ba66f2c
commit ffc55f3
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "isabelle"]
 	path = isabelle
 	url = https://github.com/seL4/isabelle.git
+[submodule "z3"]
+	path = z3
+	url = git@github.com:Z3Prover/z3.git
diff --git a/z3 b/z3