Add Iris submodule

b10debe5 · Zhen Zhang · 647edcec · b10debe5 · 9c5a95d3
Commit b10debe5 authored Oct 11, 2016 by Zhen Zhang
Hide whitespace changes
Inline Side-by-side

Showing with 4 additions and 0 deletions

.gitmodules .gitmodules +3 -0

iris-coq iris-coq +1 -0

No files found.
--- a/.gitmodules
+++ b/.gitmodules
+[submodule "iris-coq"]
+	path = iris-coq
+	url = https://gitlab.mpi-sws.org/FP/iris-coq
--- a/iris-coq @ 9c5a95d3
+++ b/iris-coq @ 9c5a95d3
+Subproject commit 9c5a95d3b271f4e0d0c657964dfa386070d0b322