Code

CI for ML-DSA C code#729

Code

Merged

franziskuskiefer merged 9 commits intomaincryspen/libcrux:mainfrom franziskus/mldsa-c-cicryspen/libcrux:franziskus/mldsa-c-ciCopy head branch name to clipboardDec 29, 2024

+1,426-1,362

Commits

Commits on Dec 23, 2024

• ml-dsa C header only ci

  franziskuskiefer

  committed
  ae392f5

  Copy full SHA for ae392f5

• add mldsa avx2 self test

  franziskuskiefer

  committed
  5d9a440

  Copy full SHA for 5d9a440

• fix mldsa c ci

  franziskuskiefer

  committed
  4982c48

  Copy full SHA for 4982c48

• update

  franziskuskiefer

  committed
  eb80bb8

  Copy full SHA for eb80bb8

Commits on Dec 24, 2024

• update C extraction

  franziskuskiefer

  committed
  29cdccf

  Copy full SHA for 29cdccf

• update mldsa F*

  franziskuskiefer

  committed
  2710f39

  Copy full SHA for 2710f39

• c windows test ci

  franziskuskiefer

  committed
  c18be26

  Copy full SHA for c18be26

Commits on Dec 28, 2024

• fixup hax

  franziskuskiefer

  committed
  834b7f5

  Copy full SHA for 834b7f5

• update C extraction

  franziskuskiefer

  committed
  853e794

  Copy full SHA for 853e794