Merge branch 'main' into jonas/ml-dsa-manual-benches

cryspen · Aug 14, 2024 · ff3da9d · ff3da9d
2 parents 7af24bf + bf283a0
commit ff3da9d
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 0 deletions.
diff --git a/libcrux-ml-kem/src/mlkem1024.rs b/libcrux-ml-kem/src/mlkem1024.rs
@@ -234,6 +234,7 @@ macro_rules! instantiate {
             #[cfg_attr(
                 hax,
                 hax_lib::fstar::before(
+                    interface,
                     "
 let _ =
     (* This module has implicit dependencies, here we make them explicit. *)

diff --git a/libcrux-ml-kem/src/mlkem512.rs b/libcrux-ml-kem/src/mlkem512.rs
@@ -227,6 +227,7 @@ macro_rules! instantiate {
             #[cfg_attr(
                 hax,
                 hax_lib::fstar::before(
+                    interface,
                     "
 let _ =
     (* This module has implicit dependencies, here we make them explicit. *)

diff --git a/libcrux-ml-kem/src/mlkem768.rs b/libcrux-ml-kem/src/mlkem768.rs
@@ -230,6 +230,7 @@ macro_rules! instantiate {
             #[cfg_attr(
                 hax,
                 hax_lib::fstar::before(
+                    interface,
                     "
 let _ =
     (* This module has implicit dependencies, here we make them explicit. *)