Skip to content

fix issue-1275 #1276

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jschneider-bensch merged 7 commits into from
Jan 6, 2026
+196 −79
Merged

fix issue-1275 #1276

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
7 commits
Select commit Hold shift + click to select a range
8404f0e
fixed incorrect endianness in avx2
GuuJiang Dec 27, 2025
87849b3
fix: make portable impl's endianness consistent with simd impl
Dec 29, 2025
4bddbfc
Add `PolynomialRingElement` encoding interop tests
jschneider-bensch Jan 6, 2026
24ef79e
Remove `tests/correctness.rs`
jschneider-bensch Jan 6, 2026
8da0286
Add changelog line
jschneider-bensch Jan 6, 2026
bd1ca25
Merge branch 'main' into main
jschneider-bensch Jan 6, 2026
4b0707e
Update C extraction
jschneider-bensch Jan 6, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 4 additions & 0 deletions libcrux-ml-kem/CHANGELOG.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,6 +5,10 @@ All notable changes to this project will be documented in this file.
The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.1.0/),
and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).

## [Unreleased]

- [#1276](https://github.com/cryspen/libcrux/pull/1276): (Breaking) Fix incorrect portable state serialization in incremental API

## [0.0.4] (2025-11-05)

- [#1190](https://github.com/cryspen/libcrux/pull/1190): Use secret types in kem traits
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/code_gen.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,5 @@ This code was generated with the following revisions:
Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
F*: unset
Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
F*: 89901492c020c74b82d811d27f3149c222d9b8b5
Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/header.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/internal/libcrux_core.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef internal_libcrux_core_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/internal/libcrux_mlkem1024_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef internal_libcrux_mlkem1024_portable_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/internal/libcrux_mlkem768_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef internal_libcrux_mlkem768_portable_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/internal/libcrux_mlkem_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef internal_libcrux_mlkem_portable_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/libcrux_core.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#include "internal/libcrux_core.h"
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/libcrux_core.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_core_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/libcrux_mlkem1024.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_mlkem1024_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/libcrux_mlkem1024_portable.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#include "internal/libcrux_mlkem1024_portable.h"
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/libcrux_mlkem1024_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_mlkem1024_portable_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/libcrux_mlkem768.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_mlkem768_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/libcrux_mlkem768_portable.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#include "internal/libcrux_mlkem768_portable.h"
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/libcrux_mlkem768_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_mlkem768_portable_H
Expand Down
16 changes: 8 additions & 8 deletions libcrux-ml-kem/extracts/c/generated/libcrux_mlkem_portable.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#include "internal/libcrux_mlkem_portable.h"
Expand Down Expand Up @@ -149,11 +149,11 @@ libcrux_ml_kem_vector_portable_vector_type_from_bytes(
i < LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_ELEMENTS_IN_VECTOR; i++) {
size_t i0 = i;
elements.data[i0] =
libcrux_secrets_int_as_i16_59(
Eurydice_slice_index_shared(array, (size_t)2U * i0, uint8_t))
<< 8U |
libcrux_secrets_int_as_i16_59(Eurydice_slice_index_shared(
array, (size_t)2U * i0 + (size_t)1U, uint8_t));
array, (size_t)2U * i0 + (size_t)1U, uint8_t))
<< 8U |
libcrux_secrets_int_as_i16_59(
Eurydice_slice_index_shared(array, (size_t)2U * i0, uint8_t));
}
return elements;
}
Expand All @@ -173,9 +173,9 @@ KRML_MUSTINLINE void libcrux_ml_kem_vector_portable_vector_type_to_bytes(
for (size_t i = (size_t)0U;
i < LIBCRUX_ML_KEM_VECTOR_TRAITS_FIELD_ELEMENTS_IN_VECTOR; i++) {
size_t i0 = i;
Eurydice_slice_index_mut(bytes, (size_t)2U * i0, uint8_t) =
libcrux_secrets_int_as_u8_f5(x.data[i0] >> 8U);
Eurydice_slice_index_mut(bytes, (size_t)2U * i0 + (size_t)1U, uint8_t) =
libcrux_secrets_int_as_u8_f5(x.data[i0] >> 8U);
Eurydice_slice_index_mut(bytes, (size_t)2U * i0, uint8_t) =
libcrux_secrets_int_as_u8_f5(x.data[i0]);
}
}
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/libcrux_mlkem_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_mlkem_portable_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/libcrux_sha3_internal.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_sha3_internal_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/libcrux_sha3_portable.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#include "libcrux_sha3_portable.h"
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c/generated/libcrux_sha3_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_sha3_portable_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c_header_only/generated/code_gen.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,5 @@ This code was generated with the following revisions:
Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
F*: unset
Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
F*: 89901492c020c74b82d811d27f3149c222d9b8b5
Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c_header_only/generated/header.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c_header_only/generated/libcrux_ct_ops.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_ct_ops_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c_header_only/generated/libcrux_mlkem768_avx2.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_mlkem768_avx2_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c_header_only/generated/libcrux_mlkem768_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_mlkem768_portable_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c_header_only/generated/libcrux_mlkem_core.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_mlkem_core_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c_header_only/generated/libcrux_sha3_avx2.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_sha3_avx2_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/c_header_only/generated/libcrux_sha3_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_sha3_portable_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/cpp_header_only/generated/code_gen.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -2,5 +2,5 @@ This code was generated with the following revisions:
Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
F*: unset
Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
F*: 89901492c020c74b82d811d27f3149c222d9b8b5
Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/cpp_header_only/generated/header.txt
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,6 +7,6 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/cpp_header_only/generated/libcrux_ct_ops.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_ct_ops_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/cpp_header_only/generated/libcrux_mlkem768_avx2.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_mlkem768_avx2_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/cpp_header_only/generated/libcrux_mlkem768_portable.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_mlkem768_portable_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/cpp_header_only/generated/libcrux_mlkem_core.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_mlkem_core_H
Expand Down
4 changes: 2 additions & 2 deletions libcrux-ml-kem/extracts/cpp_header_only/generated/libcrux_sha3_avx2.h
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,8 +7,8 @@
* Charon: 146b7dce58cb11ca8010b1c947c3437a959dcd88
* Eurydice: cdf02f9d8ed0d73f88c0a495c5b79359a51398fc
* Karamel: 8e7262955105599e91f3a99c9ab3d3387f7046f2
* F*: unset
* Libcrux: aef4b0d98bf3abe09b6ac696f60342e2979bb35e
* F*: 89901492c020c74b82d811d27f3149c222d9b8b5
* Libcrux: 8da0286d845669ce55a7f5aa405ba3ecbf4c11c7
*/

#ifndef libcrux_sha3_avx2_H
Expand Down
Loading
Loading