From 113630e369254779662bf0cb537f3672afd484f7 Mon Sep 17 00:00:00 2001 From: Matthias Meijers Date: Wed, 8 Jan 2025 17:28:49 +0100 Subject: [PATCH] Add submodule for ML-KEM spec and adjust project file accordingly. --- .gitmodules | 3 +++ easycrypt.project | 3 ++- formosa-mlkem | 1 + 3 files changed, 6 insertions(+), 1 deletion(-) create mode 100644 .gitmodules create mode 160000 formosa-mlkem diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..12aa667 --- /dev/null +++ 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 index c350e7b..234e710 100644 --- a/easycrypt.project +++ b/easycrypt.project @@ -1,3 +1,4 @@ [general] timeout = 1 -idirs = ./tmp +idirs = tmp +rdirs = formosa-mlkem/proof \ No newline at end of file diff --git a/formosa-mlkem b/formosa-mlkem new file mode 160000 index 0000000..a9a1452 --- /dev/null +++ b/formosa-mlkem @@ -0,0 +1 @@ +Subproject commit a9a1452b3246a96f7c2ee6da36e5a8a9f6424902