Skip to content

Commit

Permalink
update C code extraction
Browse files Browse the repository at this point in the history
  • Loading branch information
franziskuskiefer committed Dec 2, 2024
1 parent 9d4ad0e commit 3e54f3c
Show file tree
Hide file tree
Showing 49 changed files with 380 additions and 140 deletions.
8 changes: 6 additions & 2 deletions libcrux-ml-kem/boring.sh
Original file line number Diff line number Diff line change
Expand Up @@ -27,10 +27,14 @@ clang-format-18 --style=Google -i cg/*.h
if [[ -n "$BORINGSSL_HOME" ]]; then
echo "Copying the files into $BORINGSSL_HOME/third_party/libcrux/"

cp cg/*.h $BORINGSSL_HOME/third_party/libcrux/
cp cg/libcrux_*.h $BORINGSSL_HOME/third_party/libcrux/
cp cg/code_gen.txt $BORINGSSL_HOME/third_party/libcrux/
cp -r cg/karamel $BORINGSSL_HOME/third_party/libcrux/
cp -r cg/intrinsics $BORINGSSL_HOME/third_party/libcrux/

# We use special files here.
cp cg/boring/eurydice_glue.h $BORINGSSL_HOME/third_party/libcrux/
cp -r cg/boring/karamel $BORINGSSL_HOME/third_party/libcrux/

libcrux_rev=$(git rev-parse HEAD)
echo "libcrux: $libcrux_rev" >> $BORINGSSL_HOME/third_party/libcrux/code_gen.txt
fi
88 changes: 45 additions & 43 deletions libcrux-ml-kem/c/CMakeLists.txt
Original file line number Diff line number Diff line change
Expand Up @@ -17,6 +17,7 @@ if(NOT MSVC)
# TODO: Clean up
add_compile_options(
-Wall

# -Wextra
# -pedantic
# -Wconversion
Expand All @@ -29,6 +30,7 @@ if(NOT MSVC)
endif(NOT MSVC)

set(CMAKE_COLOR_DIAGNOSTICS "ON")

# For LSP-based editors
set(CMAKE_EXPORT_COMPILE_COMMANDS 1)
include_directories(
Expand Down Expand Up @@ -101,12 +103,10 @@ if(CMAKE_SYSTEM_PROCESSOR MATCHES "aarch64|arm64|arm64v8" AND DEFINED ENV{LIBCRU
endif()

# --- Tests

if(DEFINED ENV{LIBCRUX_UNPACKED})
add_compile_definitions(LIBCRUX_UNPACKED)
endif(DEFINED ENV{LIBCRUX_UNPACKED})


# Get gtests
include(FetchContent)
FetchContent_Declare(googletest
Expand Down Expand Up @@ -144,52 +144,54 @@ target_link_libraries(sha3_test PRIVATE
)

# --- Benchmarks
FetchContent_Declare(benchmark
GIT_REPOSITORY https://github.com/google/benchmark.git
GIT_TAG v1.8.4
)
FetchContent_MakeAvailable(benchmark)
if(DEFINED ENV{LIBCRUX_BENCHMARKS})
FetchContent_Declare(benchmark
GIT_REPOSITORY https://github.com/google/benchmark.git
GIT_TAG v1.8.4
)
FetchContent_MakeAvailable(benchmark)

add_executable(ml_kem_bench
${PROJECT_SOURCE_DIR}/benches/mlkem768.cc
)
target_link_libraries(ml_kem_bench PRIVATE
ml_kem_static
benchmark::benchmark
)
add_executable(ml_kem_bench
${PROJECT_SOURCE_DIR}/benches/mlkem768.cc
)
target_link_libraries(ml_kem_bench PRIVATE
ml_kem_static
benchmark::benchmark
)

if(DEFINED ENV{SYMCRYPT_PATH})
message("Symcrypt path: $ENV{SYMCRYPT_PATH}")
add_compile_definitions(LIBCRUX_SYMCRYPT)
target_include_directories(ml_kem_bench PRIVATE $ENV{SYMCRYPT_PATH})
target_link_directories(ml_kem_bench PRIVATE $ENV{SYMCRYPT_PATH}/bin/lib)
target_link_libraries(ml_kem_bench PRIVATE symcrypt)
endif(DEFINED ENV{SYMCRYPT_PATH})
if(DEFINED ENV{SYMCRYPT_PATH})
message("Symcrypt path: $ENV{SYMCRYPT_PATH}")
add_compile_definitions(LIBCRUX_SYMCRYPT)
target_include_directories(ml_kem_bench PRIVATE $ENV{SYMCRYPT_PATH})
target_link_directories(ml_kem_bench PRIVATE $ENV{SYMCRYPT_PATH}/bin/lib)
target_link_libraries(ml_kem_bench PRIVATE symcrypt)
endif(DEFINED ENV{SYMCRYPT_PATH})

add_executable(ml_kem_keygen
${PROJECT_SOURCE_DIR}/benches/mlkem768_keygen.cc
)
target_link_libraries(ml_kem_keygen PRIVATE
ml_kem_static
benchmark::benchmark
)

add_executable(ml_kem_encaps
${PROJECT_SOURCE_DIR}/benches/mlkem768_encaps.cc
)
target_link_libraries(ml_kem_encaps PRIVATE
ml_kem_static
benchmark::benchmark
)
add_executable(ml_kem_keygen
${PROJECT_SOURCE_DIR}/benches/mlkem768_keygen.cc
)
target_link_libraries(ml_kem_keygen PRIVATE
ml_kem_static
benchmark::benchmark
)

if(NOT MSVC)
# We benchmark internal functions here that are inlined and thus not available
# in MSVC.
add_executable(sha3_bench
${PROJECT_SOURCE_DIR}/benches/sha3.cc
add_executable(ml_kem_encaps
${PROJECT_SOURCE_DIR}/benches/mlkem768_encaps.cc
)
target_link_libraries(sha3_bench PRIVATE
target_link_libraries(ml_kem_encaps PRIVATE
ml_kem_static
benchmark::benchmark
)
endif(NOT MSVC)

if(NOT MSVC)
# We benchmark internal functions here that are inlined and thus not available
# in MSVC.
add_executable(sha3_bench
${PROJECT_SOURCE_DIR}/benches/sha3.cc
)
target_link_libraries(sha3_bench PRIVATE
ml_kem_static
benchmark::benchmark
)
endif(NOT MSVC)
endif(DEFINED ENV{LIBCRUX_BENCHMARKS})
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/benches/mlkem768.cc
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@

void generate_random(uint8_t *output, uint32_t output_len)
{
for (int i = 0; i < output_len; i++)
for (uint32_t i = 0; i < output_len; i++)
output[i] = 13;
}

Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/benches/mlkem768_encaps.cc
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@

void generate_random(uint8_t *output, uint32_t output_len)
{
for (int i = 0; i < output_len; i++)
for (uint32_t i = 0; i < output_len; i++)
output[i] = 13;
}

Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/benches/mlkem768_keygen.cc
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@

void generate_random(uint8_t *output, uint32_t output_len)
{
for (int i = 0; i < output_len; i++)
for (uint32_t i = 0; i < output_len; i++)
output[i] = 13;
}

Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/code_gen.txt
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,4 @@ Charon: 45f5a34f336e35c6cc2253bc90cbdb8d812cefa9
Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/internal/libcrux_core.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __internal_libcrux_core_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/internal/libcrux_mlkem_avx2.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __internal_libcrux_mlkem_avx2_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/internal/libcrux_mlkem_portable.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __internal_libcrux_mlkem_portable_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/internal/libcrux_sha3_avx2.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __internal_libcrux_sha3_avx2_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/internal/libcrux_sha3_internal.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __internal_libcrux_sha3_internal_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_core.c
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#include "internal/libcrux_core.h"
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_core.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __libcrux_core_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem1024.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __libcrux_mlkem1024_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem1024_avx2.c
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#include "libcrux_mlkem1024_avx2.h"
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem1024_avx2.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __libcrux_mlkem1024_avx2_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem1024_portable.c
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#include "libcrux_mlkem1024_portable.h"
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem1024_portable.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __libcrux_mlkem1024_portable_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem512.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __libcrux_mlkem512_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem512_avx2.c
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#include "libcrux_mlkem512_avx2.h"
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem512_avx2.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __libcrux_mlkem512_avx2_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem512_portable.c
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#include "libcrux_mlkem512_portable.h"
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem512_portable.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __libcrux_mlkem512_portable_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem768.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __libcrux_mlkem768_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem768_avx2.c
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#include "libcrux_mlkem768_avx2.h"
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem768_avx2.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __libcrux_mlkem768_avx2_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem768_portable.c
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#include "libcrux_mlkem768_portable.h"
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem768_portable.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __libcrux_mlkem768_portable_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem_avx2.c
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#include "internal/libcrux_mlkem_avx2.h"
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem_avx2.h
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#ifndef __libcrux_mlkem_avx2_H
Expand Down
2 changes: 1 addition & 1 deletion libcrux-ml-kem/c/libcrux_mlkem_portable.c
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
* Eurydice: 1fff1c51ae6e6c87eafd28ec9d5594f54bc91c0c
* Karamel: 8c3612018c25889288da6857771be3ad03b75bcd
* F*: 5643e656b989aca7629723653a2570c7df6252b9-dirty
* Libcrux: e7d31cc9d00fb10b9002777a3fc8a209dba74b83
* Libcrux: 9d4ad0ef1e00d55aa483ae761f3d5b4911c0678f
*/

#include "internal/libcrux_mlkem_portable.h"
Expand Down
Loading

0 comments on commit 3e54f3c

Please sign in to comment.