initial commit of libcrux ml-kem#2

Draft

franziskuskiefer wants to merge 17 commits intomasterfrom

franziskus/libcrux-ml-kem

Commits on Apr 24, 2024

initial commit of libcrux ml-kem
franziskuskiefer
committed

Commits on Apr 28, 2024

Initial commit of libcrux ml-kem

Franziskus Kiefer
authored and
franziskuskiefer
committed

Commits on Jun 13, 2024

Merge branch 'franziskus/libcrux-ml-kem' of github.com:cryspen/boringssl into franziskus/libcrux-ml-kem
Franziskus Kiefer
committed
Merge branch 'master' into franziskus/libcrux-ml-kem
Franziskus Kiefer
committed
new portable mlkem
Franziskus Kiefer
committed

Commits on Jun 14, 2024

Commits on Jun 18, 2024

header only libcrux mlkem
franziskuskiefer
committed

Commits on Jun 20, 2024

speed test for mlkem
karthikbhargavan
committed
fix for C error (implicit coercion)
karthikbhargavan
committed
add kats for mlkem768
Franziskus Kiefer
committed
Merge branch 'franziskus/libcrux-ml-kem' of github.com:cryspen/boringssl into franziskus/libcrux-ml-kem
Franziskus Kiefer
committed
noinline
Franziskus Kiefer
committed
negative tests for pks and rename
franziskuskiefer
committed

Commits on Jun 23, 2024

Merge branch 'master' into franziskus/libcrux-ml-kem
Franziskus Kiefer
committed

Commits on Jul 4, 2024

address review comments and refresh code
franziskuskiefer
committed