All pull requests

Pull requests

• nix: Take HOL Light from nixpkgs-unstable instead of pinning it

  #1433·hanno-becker opened Sep 23, 2026Contributor·

  ·
  8

• sign: Order rejection checks by rejection rate

  benchmark
  #1431·mkannwischer opened Sep 22, 2026Contributor·

  ·
  6

• Build(deps): Bump aws-actions/configure-aws-credentials from 6.2.3 to 6.2.4

  dependenciesgithub_actions
  #1430·dependabot[bot] opened Sep 20, 2026Bot·

  ·

• CBMC: Use a second solver for 154/212 proofs

  #1423·mkannwischer opened Sep 9, 2026Contributor·

  ·
  6

• Unit tests: Expose native primitives in reduced-API builds

  #1422·hanno-becker opened Sep 9, 2026Contributor·

  ·
  7

• keygen: Stream s1 and s2 to reduce memory footprint

  benchmark
  #1410·mkannwischer opened Sep 1, 2026Contributor·

  ·

  · v2.1
  42

• Express alignment portably with alignas (C23) / _Alignas (C11/C17)

  benchmarkneeds-mlkem-native-port
  #1407·mkannwischer opened Aug 30, 2026Contributor·

  ·
  1

  7

• Add constant-time (f_events) proofs for rej_uniform_eta2 and rej_uniform_eta4

  aarch64enhancementhol-lightx86_64
  #1398·jakemas opened Aug 26, 2026Contributor·

  ·
  1

  17

• Documentation: Render and publish Doxygen documentation

  #1386·mkannwischer opened Aug 17, 2026Contributor·

  ·
  1

• Make the alignment configurable

  #1379·mkannwischer opened Aug 11, 2026Contributor·

  ·
  14

• Armv8.1-M: fuse ToMont scale into pqmx iNTT

  #1377·bremoran opened Aug 8, 2026Contributor·

  ·
  1

• Armv8.1-M: add pqmx MVE inverse NTT

  #1367·bremoran opened Aug 7, 2026Contributor·

  ·
  1

  2

• Armv8.1-M: add pqmx MVE forward NTT

  #1366·bremoran opened Aug 7, 2026Contributor·

  ·
  1

• Adds Armv8.1-M MVE fast paths for x1 Keccak state byte XOR and extraction.

  #1365·bremoran opened Aug 7, 2026Contributor·

  ·
  1

• Armv81m keccak paired theta parity loads

  #1364·bremoran opened Aug 7, 2026Contributor·

  ·
  1

• Armv8.1-M: regenerate Keccak x1 for Cortex-M55

  #1356·bremoran opened Aug 5, 2026Contributor·

  ·
  1

  6

• CI: Minimize workflow permissions and secrets

  needs-mlkem-native-port
  #1294·hanno-becker opened Jul 17, 2026Contributor·

  ·
  6

• Add Armv8.1-M Keccak x1 backend

  #1277·bremoran opened Jul 10, 2026Contributor·

  ·
  1

  58

• Add Armv8.1-m MVE memcpy, memset, zeroize

  #1271·bremoran opened Jul 8, 2026Contributor·

  ·
  1

  7

• ppc64le: Add POWER8 VSX backend (little- and big-endian)

  #1258·Scottcjn opened Jul 2, 2026·

  ·
  4

• AArch64: apply SLOTHY to poly_decompose_32 and poly_decompose_88

  benchmark
  #1180·mkannwischer opened Jun 14, 2026Contributor·

  ·
  1

  6

• Simplify decompose C reference to a single high multiplication

  benchmarkDO-NOT-MERGE
  #1177·mkannwischer opened Jun 14, 2026Contributor·

  ·
  1

  33

• poly: Deduplicate poly_decompose and poly_use_hint

  #1159·mkannwischer opened Jun 7, 2026Contributor·

  ·
  6

• Speed up C-reference NTT/invNTT with twisted zetas + 2-layer merging

  benchmark
  #1118·hanno-becker opened May 12, 2026Contributor·

  ·
  34

• CBMC: Improve readability of CBMC specs

  cbmcenhancement
  #1116·hanno-becker opened May 12, 2026Contributor·

  ·
  7