From ffc55f347a7a3706caace5e8b96bd7ce8dc803b6 Mon Sep 17 00:00:00 2001 From: Zilin Chen Date: Fri, 20 Apr 2018 14:44:21 +1000 Subject: [PATCH] add z3 submodule [skip ci][skip lemma] --- .gitmodules | 3 +++ z3 | 1 + 2 files changed, 4 insertions(+) create mode 160000 z3 diff --git a/.gitmodules b/.gitmodules index 6c7756737..9543f01a1 100644 --- 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 new file mode 160000 index 000000000..b79440a21 --- /dev/null +++ b/z3 @@ -0,0 +1 @@ +Subproject commit b79440a21d404bcf0c2e34e83f1c04555342cfb9