Add submodule for cryptol-specs

GaloisInc · Oct 16, 2018 · a2a84da · a2a84da
1 parent c43b9b3
commit a2a84da
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 0 deletions.
diff --git a/.gitmodules b/.gitmodules
@@ -55,3 +55,6 @@
 [submodule "deps/saw-core-what4"]
 	path = deps/saw-core-what4
 	url = https://github.com/GaloisInc/saw-core-what4.git
+[submodule "deps/cryptol-specs"]
+	path = deps/cryptol-specs
+	url = https://github.com/galoisinc/cryptol-specs
diff --git a/deps/cryptol-specs b/deps/cryptol-specs