All pull requests

Pull requests

• Experimentally add const static qualifier in poly_compress_d10_c()

  #1914·rod-chapman opened Sep 23, 2026Contributor·

  ·
  4

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

  dependenciesgithub_actions
  #1913·dependabot[bot] opened Sep 22, 2026Bot·

  ·

• sys.h: Add C-standard detection macros and CI snapshot check

  needs-mldsa-native-port
  #1886·hanno-becker opened Sep 1, 2026Contributor·

  ·
  6

• Add Rv64v vlen128 NTT

  #1875·ishanrk opened Aug 23, 2026·

  ·

• [TEST] x86_64: Use Plantard reduction

  benchmark
  #1871·mkannwischer opened Aug 19, 2026Contributor·

  ·
  3

• Test: Run ABI checks as Zephyr applications

  enhancementtesting
  #1866·mkannwischer opened Aug 9, 2026Contributor·

  ·
  2

  4

• Clear ML-KEM Keccak stack scratch

  benchmarkneeds-mldsa-native-port
  #1771·tob-joe opened Jun 30, 2026·

  ·
  23

• Fix Armv8.1-M x4 xor_bytes alignment fallback

  needs-mldsa-native-port
  #1766·bremoran opened Jun 29, 2026Contributor·

  ·
  1

  6

• PPC64LE: Add CFI annotations via autogen

  #1748·mkannwischer opened Jun 14, 2026Contributor·

  ·
  1

  3

• WIP: Add MSVC ARM64 (armasm64) support for the native AArch64 backend

  #1741·mkannwischer opened Jun 11, 2026Contributor·

  ·
  1

  2

• C: Switch to [inv]NTT with 2+2+2+1 structure

  benchmark
  #1696·hanno-becker opened May 15, 2026Contributor·

  ·
  3

• [CI] Avoid mismatched comparison and fix error in forall/exists macros

  #1695·hanno-becker opened May 15, 2026Contributor·

  ·
  12

• Convert issue templates to YAML Issue Forms with SPDX header

  needs-mldsa-native-port
  #1693·mkannwischer opened May 12, 2026Contributor·

  ·
  10

• Avoid mismatched comparison [full CI]

  #1691·mkannwischer opened May 12, 2026Contributor·

  ·
  4

• Avoid mismatched comparison and fix error in forall/exists macros

  bugCBMC
  #1690·nmouha opened May 12, 2026Contributor·

  ·
  20

• RFC: Add incremental encaps API to support ML-KEM Braid

  benchmark
  #1619·mkannwischer opened Mar 12, 2026Contributor·

  ·
  35

• Armv8.1-M: Add native x1 Keccak with MVE bit-interleaving

  #1550·bremoran opened Feb 6, 2026Contributor·

  ·
  2

  7

• Armv8.1-M: Add clean x4 Keccak code and SLOTHY Makefile

  #1527·mkannwischer opened Jan 28, 2026Contributor·

  ·
  1

  8

  

• CBMC: Enable coverage reports

  CBMCenhancement
  #1426·hanno-becker opened Dec 21, 2025Contributor·

  ·
  1

• README: Add Supported platforms section

  documentationenhancement
  #1254·hanno-becker opened Oct 24, 2025Contributor·

  ·
  4

  

• CBMC: Refine bounds for input and output of base multiplication

  benchmarkCBMCDO-NOT-MERGEenhancement
  #906·hanno-becker opened Mar 24, 2025Contributor·

  ·
  41

• Proposal: API Extension

  benchmark
  #715·mkannwischer opened Jan 29, 2025Contributor·

  ·
  72