Issues

• Port: HOL Light: Fail bytecode update if a proof's bytecode is not dumped

  mldsa-native-port
  pq-code-package/mlkem-native#1974 · Filter by author github-actions opened on Nov 3, 2026

• Port: mldsa: Clean-up includes

  mldsa-native-port
  pq-code-package/mlkem-native#1968 · Filter by author github-actions opened on Oct 29, 2026

• CBMC: Simplify inspection of which function is supported by which prover / DM

  CBMCenhancementneeds-mldsa-native-port
  pq-code-package/mlkem-native#1964 · Filter by author hanno-becker opened on Oct 26, 2026

• Port: format: Pass file names to sh -c as arguments

  mldsa-native-port
  pq-code-package/mlkem-native#1952 · Filter by author github-actions opened on Oct 24, 2026

• Port: Tests: Minor bug fixes

  mldsa-native-port
  pq-code-package/mlkem-native#1948 · Filter by author github-actions opened on Oct 20, 2026

• Port: ACVP: Fail if supported modes cannot be detected

  mldsa-native-port
  pq-code-package/mlkem-native#1947 · Filter by author github-actions opened on Oct 20, 2026

• Port: Config: Promote MLD_CONFIG_CUSTOM_ALLOC_FREE to stable

  mldsa-native-port
  pq-code-package/mlkem-native#1946 · Filter by author github-actions opened on Oct 20, 2026

• Armv8-M: Use register aliases consistently

  pq-code-package/mlkem-native#1944 · Filter by author hanno-becker opened on Oct 19, 2026

• Compiler tests: Review RV64 coverage

  pq-code-package/mlkem-native#1942 · Filter by author hanno-becker opened on Oct 17, 2026

• sys.h: Add linting to ensure it does not depend on configuration options

  pq-code-package/mlkem-native#1941 · Filter by author mkannwischer opened on Oct 15, 2026

• x86_64: rej_uniform_avx2_asm needs BMI2 and POPCNT but only AVX2 is checked

  needs-mldsa-native-port
  pq-code-package/mlkem-native#1939 · Filter by author mkannwischer opened on Oct 13, 2026
  1

• CBMC: Add safety and partial correctness specs for debug functionality

  CBMCenhancementtesting
  pq-code-package/mlkem-native#1936 · Filter by author hanno-becker opened on Oct 11, 2026

• CBMC: Check relative alignment of pointers passed to assembly

  needs-mldsa-native-portsoundness
  pq-code-package/mlkem-native#1932 · Filter by author mkannwischer opened on Oct 5, 2026

• CI: Add a mechanism to check that BCM file leaves no undesired macro trace

  needs-mldsa-native-port
  pq-code-package/mlkem-native#1928 · Filter by author hanno-becker opened on Sep 27, 2026

• Update SOUNDNESS.md to cover #1926

  needs-mldsa-native-port
  pq-code-package/mlkem-native#1927 · Filter by author hanno-becker opened on Sep 27, 2026

• Portable C assumes a constant-time multiply

  mldsa-native-mirror
  pq-code-package/mlkem-native#1921 · Filter by author github-actions opened on Sep 25, 2026

• Beware of temporary writes to external buffers

  mldsa-native-mirror
  pq-code-package/mlkem-native#1909 · Filter by author github-actions opened on Sep 20, 2026 · v2.1

• Config: Promote MLD_CONFIG_CUSTOM_ALLOC_FREE to stable

  mldsa-native-mirror
  pq-code-package/mlkem-native#1908 · Filter by author github-actions opened on Sep 20, 2026 · v2.1

• Integration: Consider implementing an OpenSSL provider

  mldsa-native-mirror
  pq-code-package/mlkem-native#1887 · Filter by author github-actions opened on Sep 2, 2026
  1

• Add make target to debug system detection

  enhancementneeds-mldsa-native-porttesting
  pq-code-package/mlkem-native#1885 · Filter by author hanno-becker opened on Aug 31, 2026
  

• Test/CI: Consider adding tests for CHERIoT-PQC

  enhancementneeds-mldsa-native-porttesting
  pq-code-package/mlkem-native#1876 · Filter by author hanno-becker opened on Aug 24, 2026
  1

• Consider adding support for alignas (C23) and _Alignas (C11/C17)

  needs-mldsa-native-port
  pq-code-package/mlkem-native#1868 · Filter by author mkannwischer opened on Aug 10, 2026

• ACVP: Don't interpret a missing binary as "all functions supported"

  needs-mldsa-native-port
  pq-code-package/mlkem-native#1861 · Filter by author hanno-becker opened on Aug 7, 2026 · v2.1

• ACVP: remove keyless decapsulationKeyCheck workaround after bumping past v1.1.0.43

  pq-code-package/mlkem-native#1842 · Filter by author mkannwischer opened on Aug 3, 2026

• Consider separate functions to compute only one key from the seed

  pq-code-package/mlkem-native#1841 · Filter by author mkannwischer opened on Aug 3, 2026 · v2.1