Code

merging main to dev#661

Code

Closed

karthikbhargavan wants to merge 88 commits intodevcryspen/libcrux:devfrom merging-maincryspen/libcrux:merging-mainCopy head branch name to clipboard

+41,181-21,385

Commits

Commits on Aug 30, 2024

• wip

  franziskuskiefer

  committed
  5333f39

• fuzzers for ml-kem

  franziskuskiefer

  committed
  d4049e3

Commits on Sep 22, 2024

• fstar extraction for ml-dsa

  karthikbhargavan

  committed
  4db4adc

Commits on Sep 23, 2024

• wip lax

  karthikbhargavan

  committed
  c963c44

Commits on Oct 11, 2024

• Merge branch 'dev' into ml-dsa-arithmetic

  karthikbhargavan

  committed
  af269d4

• extracting again

  karthikbhargavan

  committed
  15405df

• got rid of some cycles, the rest need some hax help

  karthikbhargavan

  committed
  acf0d0a

• refreshed fstar

  karthikbhargavan

  committed
  08ce4ac

Commits on Oct 17, 2024

• fixes to benches

  karthikbhargavan

  committed
  c4e0ab6

Commits on Oct 22, 2024

• after cycle bundling fix

  karthikbhargavan

  committed
  7a3dff1

• progress up to Libcrux_sha3.Traits.fsti

  karthikbhargavan

  committed
  5151722

Commits on Oct 23, 2024

• almost laxing

  karthikbhargavan

  committed
  c4bb39e

Commits on Oct 25, 2024

• Merge branch 'main' into ml-dsa-arithmetic

  karthikbhargavan

  committed
  05d0e11

• ml-dsa refresh

  karthikbhargavan

  committed
  924d808

• ml-dsa refresh

  karthikbhargavan

  committed
  a578e90

Commits on Oct 28, 2024

• ml-dsa lax-checks except for 3 modules

  karthikbhargavan

  committed
  0b37cc1

Commits on Oct 29, 2024

• lax check succeeds

  karthikbhargavan

  committed
  fbefc8d

• fmt

  karthikbhargavan

  committed
  443ec96

• Repair hash_functions

  jschneider-bensch

  committed
  a17120e

• ML-DSA extraction on CI

  jschneider-bensch

  committed
  44af027

• Fix warnings

  jschneider-bensch

  committed
  c4fb85c

• lax

  karthikbhargavan

  committed
  9c3247c

• cleanup

  karthikbhargavan

  committed
  5cf6072

• cleanup

  karthikbhargavan

  committed
  7377285

• cleanup

  karthikbhargavan

  committed
  516b6f3

• cleanup

  karthikbhargavan

  committed
  3400e59

• cleanup

  karthikbhargavan

  committed
  025679d

• cleanup

  karthikbhargavan

  committed
  95b46df

• make

  karthikbhargavan

  committed
  b9a51e8

• make

  karthikbhargavan

  committed
  1644063

Commits on Oct 30, 2024

• removed fstar libs needed for ml-kem from this PR

  karthikbhargavan

  committed
  72f0472

Commits on Oct 31, 2024

• resolved some comments

  karthikbhargavan

  committed
  91cefaf

• restored error prop

  karthikbhargavan

  committed
  bc2b3ad

Commits on Nov 1, 2024

• lax checks

  karthikbhargavan

  committed
  7db214d

Commits on Nov 2, 2024

• fstar refresh

  karthikbhargavan

  committed
  60ffea0

Commits on Nov 3, 2024

• qemu based s390x ci for ml-kem C

  franziskuskiefer

  committed
  0a837fb

• fix ml-kem C in cg for big endian machines

  franziskuskiefer

  committed
  587a379

• don't build ml-kem C benchmarks by default

  franziskuskiefer

  committed
  5f3f123

Commits on Nov 4, 2024

• Update .github/workflows/s390x.yml

  Show description for 300abc0
  

  franziskuskiefer

  and

  jschneider-bensch

  authored
  300abc0

• fix cg eurydice glue for Windows

  franziskuskiefer

  committed
  b216164

• don't run mlkem C tests on Windows ci

  franziskuskiefer

  committed
  249e0b3

• Enable AVX2 target feature

  jschneider-bensch

  committed
  1ec5a9f

• Inlining to help AVX2 optimization

  jschneider-bensch

  committed
  0031d3c

• Missing module

  jschneider-bensch

  committed
  4bc6554

• Attempt to reduce stack size

  jschneider-bensch

  committed
  f946f53

• Format

  jschneider-bensch

  committed
  a86ce00

• ACVP uninlined inner functions

  jschneider-bensch

  committed
  23120b2

• Remove Zeta arrays

  Show description for 30c7de7
  jschneider-bensch

  committed
  30c7de7

• SHA-3 AVX2 target feature

  Show description for 0703c5b
  jschneider-bensch

  committed
  0703c5b

• Inlining + target feature changes around inverse NTT

  Show description for 5d85370
  jschneider-bensch

  committed
  5d85370

• Header-only extraction update

  jschneider-bensch

  committed
  6c8fdc3

• Update C extraction

  jschneider-bensch

  committed
  51e2d6d

• Fix paths

  jschneider-bensch

  committed
  61f72fd

• really don't run on windows

  franziskuskiefer

  committed
  3cf3915

• format cg/eurydice_glue

  franziskuskiefer

  committed
  84a01ad

Commits on Nov 5, 2024

• Merge pull request #649 from cryspen/franziskus/big-endian-ci

  Show description for 17cf50b
  jschneider-bensch

  authored
  17cf50b

• Merge branch 'ml-dsa-lax' into jonas/ml-dsa-target-feature

  jschneider-bensch

  authored
  5c005e0

• added issue-comment for samplex4 edits

  karthikbhargavan

  committed
  7297c0b

• renamed inputs

  karthikbhargavan

  committed
  dac387a

• fmt

  karthikbhargavan

  committed
  e542ac3

• Merge branch 'main' into ml-dsa-lax

  karthikbhargavan

  authored
  db15695

• Merge pull request #646 from cryspen/ml-dsa-lax

  Show description for 5ddbf9e
  franziskuskiefer

  authored
  5ddbf9e

• Merge branch 'main' into jonas/ml-dsa-target-feature

  jschneider-bensch

  authored
  5f88703

• Missing opaque_types in hash_functions

  jschneider-bensch

  committed
  654d836

• Make trait impl functions into wrappers

  jschneider-bensch

  committed
  a19752d

• Don't use trait methods

  jschneider-bensch

  committed
  837d70f

• Update F*

  jschneider-bensch

  committed
  873ccf8

Commits on Nov 6, 2024

• Merge branch 'main' into franziskus/ml-kem-fuzzing

  franziskuskiefer

  committed
  76b51d1

• Guard target_feature to cfg(not(hax))

  jschneider-bensch

  committed
  b1ad8bb

• Update F*

  jschneider-bensch

  committed
  0dccff5

• add fuzzer to ci

  franziskuskiefer

  committed
  4a3c207

• Update .github/workflows/mlkem.yml

  Show description for c9f8670
  

  franziskuskiefer

  and

  jschneider-bensch

  authored
  c9f8670

• fixup fuzz ci

  franziskuskiefer

  committed
  3df061e

• Merge branch 'franziskus/ml-kem-fuzzing' of github.com:cryspen/libcrux into franziskus/ml-kem-fuzzing

  franziskuskiefer

  committed
  150b616

• cargo fmt

  franziskuskiefer

  committed
  d5632a5

• Use local functions in favor of macros to help F*

  jschneider-bensch

  committed
  11b5102

• Merge pull request #660 from cryspen/franziskus/ml-kem-fuzzing

  Show description for f7dccd0
  jschneider-bensch

  authored
  f7dccd0

Commits on Nov 8, 2024

• Merge branch 'main' into jonas/ml-dsa-target-feature

  karthikbhargavan

  authored
  66059e5

• Revert "SHA-3 AVX2 target feature"

  Show description for 8f41090
  franziskuskiefer

  committed
  8f41090

• merged

  karthikbhargavan

  committed
  ef381ba

• merge fixes for hax-lib attributes

  karthikbhargavan

  committed
  bdd8a68

• inline ntt

  franziskuskiefer

  committed
  a31e411

• added bitvec

  karthikbhargavan

  committed
  13e47cb

• update mlkem C code

  franziskuskiefer

  committed
  1cefb79

• Merge pull request #642 from cryspen/jonas/ml-dsa-target-feature

  Show description for d4b585d
  franziskuskiefer

  authored
  d4b585d

• fixed lax

  karthikbhargavan

  committed
  ff302d3

• refreshed fstar

  karthikbhargavan

  committed
  4996d48

• c code refresh

  karthikbhargavan

  committed
  78a4b19