Add submodule for ML-KEM spec and adjust project file accordingly.

sandbox-quantum · Jan 8, 2025 · 113630e · 113630e
1 parent 38cdb57
commit 113630e
Show file tree

Hide file tree

Showing 3 changed files with 6 additions and 1 deletion.
diff --git a/.gitmodules b/.gitmodules
@@ -0,0 +1,3 @@
+[submodule "formosa-mlkem"]
+	path = formosa-mlkem
+	url = https://github.com/formosa-crypto/formosa-mlkem
diff --git a/easycrypt.project b/easycrypt.project
@@ -1,3 +1,4 @@
 [general]
 timeout = 1
-idirs = ./tmp
+idirs = tmp
+rdirs = formosa-mlkem/proof
diff --git a/formosa-mlkem b/formosa-mlkem