Code

avx2 extraction improvements#287

Code

Merged

franziskuskiefer merged 7 commits intodevcryspen/libcrux:devfrom franziskus/avx2-extractioncryspen/libcrux:franziskus/avx2-extractionCopy head branch name to clipboardMay 23, 2024

+8,099-2,095

Commits

Commits on May 20, 2024

• add dummy intrinsics file for extraction of avx2

  franziskuskiefer

  committed
  dc0a0f9

  Copy full SHA for dc0a0f9

• F* extraction of poly-avx2

  franziskuskiefer

  committed
  c90a3d0

  Copy full SHA for c90a3d0

Commits on May 22, 2024

• move neon hash functions into sha3 for ml-kem

  franziskuskiefer

  committed
  da5ed9d

  Copy full SHA for da5ed9d

• inline hashing and avx2 hax extraction

  franziskuskiefer

  committed
  92257b7

  Copy full SHA for 92257b7

• changes for F* extraction

  franziskuskiefer

  committed
  ad78b10

  Copy full SHA for ad78b10

• updated F*

  franziskuskiefer

  committed
  0c67a85

  Copy full SHA for 0c67a85

Commits on May 23, 2024

• portable rejection sampling for neon for now

  franziskuskiefer

  committed
  76ab582

  Copy full SHA for 76ab582