List view

Revisit naming of system capability enumeration

API-BREAK

Status: Open.

#1320 In pq-code-package/mlkem-native;

· hanno-becker opened on Nov 21, 2025

Support building mldsa-native and mlkem-native with shared FIPS-202

Status: Open.

#1273 In pq-code-package/mlkem-native;

· mkannwischer opened on Nov 4, 2025

Allow cross-checking of HOL-Light proofs

enhancementNew feature or requestNew feature or request

hol-light

Status: Open.

#1324 In pq-code-package/mlkem-native;

· hanno-becker opened on Nov 27, 2025

Default namespace subject to inconsistent level-suffixing in multi-level build

API-BREAK

bugSomething isn't workingSomething isn't working

Status: Open.

#1781 In pq-code-package/mlkem-native;

· hanno-becker opened on Jul 6, 2026

FIPS202: Consolidate backend MLK_USE_NATIVE_* flags

API-BREAK

DO-NOT-MERGE

Status: Open (in progress).

pq-code-package/mlkem-nativenumber 1775

#1775 In pq-code-package/mlkem-native;

· mkannwischer opened on Jul 1, 2026

sys: Prefix capability enum values with architecture

API-BREAK

Status: Open (in progress).

pq-code-package/mlkem-nativenumber 1770

#1770 In pq-code-package/mlkem-native;

· mkannwischer opened on Jun 30, 2026

Make tests and examples compatible with reduced-API configurations

Status: Open (in progress).

pq-code-package/mlkem-nativenumber 1787

#1787 In pq-code-package/mlkem-native;

· hanno-becker opened on Jul 6, 2026

liboqs integration: normalize return codes to OQS_STATUS

Status: Open.

#1802 In pq-code-package/mlkem-native;

· mkannwischer opened on Jul 17, 2026

Capabilities should be bitfield

API-BREAK

enhancementNew feature or requestNew feature or request

Status: Open.

#1806 In pq-code-package/mlkem-native;

· hanno-becker opened on Jul 21, 2026