Missing file

formosa-crypto · Aug 27, 2024 · d5372f0 · d5372f0
1 parent 77df273
commit d5372f0
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/code/jasmin/mlkem_avx2/extraction/Array1.ec b/code/jasmin/mlkem_avx2/extraction/Array1.ec
@@ -0,0 +1,3 @@
+from Jasmin require import JArray.
+
+clone export PolyArray as Array1  with op size <- 1.