Search results

Stack usage is much higher than mlkem-c-embedded

Status: Open.

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

· davidchisnall opened on Dec 3, 2025

CBMC: Proof that x86_64 basemul fulfills native api.h contract

CBMC

enhancementNew feature or requestNew feature or request

Status: Open.

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

· mkannwischer opened on Dec 2, 2025

CBMC: Add functional specification for mlk_ct_cmov_zero

CBMC

enhancementNew feature or requestNew feature or request

Status: Open.

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

· hanno-becker opened on Dec 1, 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

CBMC: Warn about increase of proof times

CBMC

ci

enhancementNew feature or requestNew feature or request

Status: Open.

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

· hanno-becker opened on Nov 21, 2025

Revisit naming of system capability enumeration

API-BREAK

Status: Open.

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

· hanno-becker opened on Nov 21, 2025

·  

v2

x86_64 backend: Remove unncessary <code>.inc</code> files from <code>mlkem/src/native/x86_64/src</code>

Status: Open.

Feature

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

· mkannwischer opened on Nov 19, 2025

Backends: Add marker for non-executable stack

Status: Open.

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

· hanno-becker opened on Nov 18, 2025

CI: Speedup and reduce cost

ci

enhancementNew feature or requestNew feature or request

Status: Open.

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

· hanno-becker opened on Nov 13, 2025

autogen does not work on macos-15-intel

bugSomething isn't workingSomething isn't working

Status: Open.

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

· hanno-becker opened on Nov 13, 2025

Add shellcheck as a static analysis tool for shell scripts

enhancementNew feature or requestNew feature or request

Status: Open.

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

· L-series opened on Nov 11, 2025

Implement unit tests for x4/x1 <code>poly_rej_uniform</code>

enhancementNew feature or requestNew feature or request

Status: Open.

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

· mkannwischer opened on Nov 10, 2025