All pull requests

Pull requests

• Full native assembly support for MS Windows 11/64bit

  #1971·developer-corner opened Nov 1, 2026·

  ·

• Build(deps): Bump ossf/scorecard-action from 2.4.4 to 2.5.0

  dependenciesgithub_actions
  #1970·dependabot[bot] opened Nov 1, 2026Bot·

  ·

• Build(deps): Bump actions/upload-artifact from 7.0.1 to 7.0.2

  dependenciesgithub_actions
  #1969·dependabot[bot] opened Nov 1, 2026Bot·

  ·

• [TEST] Bump to nixos-unstable (to prepare for for nixpkgs 26.11)

  #1965·mkannwischer opened Oct 26, 2026Contributor·

  ·
  4

• Experimentally add const static qualifier in poly_compress_d10_c()

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

  ·
  5

• 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·

  ·
  26

• Clear ML-KEM Keccak stack scratch

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

  ·
  23

• 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

• 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