no experimental for now

cryspen · Mar 13, 2024 · 89dd68a · 89dd68a
1 parent 749be1e
commit 89dd68a
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 5 deletions.
diff --git a/kyber-crate.sh b/kyber-crate.sh
@@ -47,7 +47,6 @@ for file in src/*; do
         $SED -i 's/pub mod kyber1024;//g' $file
     fi
 done
-$SED -i 's/\#\[cfg(feature = \"experimental\")\]//g' ../src/digest.rs
 
 cat >src/hax_utils.rs <<EOF
 macro_rules! hax_debug_assert {

diff --git a/src/digest.rs b/src/digest.rs
@@ -377,7 +377,7 @@ pub fn shake256<const LEN: usize>(data: &[u8]) -> [u8; LEN] {
 /// This uses AVX2 when available to run the 4 operations in parallel.
 ///
 /// More generic APIs will be added later.
-pub(crate) mod incremental_x4 {
+pub mod incremental_x4 {
 
     /// Incremental state
     #[cfg_attr(hax, hax_lib_macros::opaque_type)]
@@ -433,6 +433,3 @@ pub(crate) mod incremental_x4 {
         }
     }
 }
-
-#[cfg(feature = "experimental")]
-pub use incremental_x4;