Skip to content

Pull requests: pq-code-package/mlkem-native

New pull request New
31 Open 1,173 Closed
31 Open 1,173 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

nix: Pin z3 to upstream commit 286b107
#1705 opened May 22, 2026 by mkannwischer Contributor • Draft
3
x86_64: 32-byte align Keccak x4 AVX2 stack frame benchmark this PR should be benchmarked in CI enhancement New feature or request x86_64
#1704 opened May 22, 2026 by hanno-becker Contributor Loading…
@mkannwischer
3
nix: Bump z3 to 4.16.0 from nixpkgs-unstable
#1702 opened May 22, 2026 by mkannwischer Contributor Loading…
3
Make MLK_ASM_* macros overwritable
#1701 opened May 21, 2026 by hanno-becker Contributor Loading…
3
CI: Add more legacy compiler tests and move to scheduled workflow legacy-compiler-tests Triggers legacy compiler tests in CI needs-mldsa-native-port
#1700 opened May 20, 2026 by mkannwischer Contributor Loading…
1
4
Add kat test Windows support (C backend only)
#1698 opened May 18, 2026 by willieyz Contributor • Draft
5
C: Switch to [inv]NTT with 2+2+2+1 structure benchmark this PR should be benchmarked in CI
#1696 opened May 15, 2026 by hanno-becker Contributor • Draft
3
[CI] Avoid mismatched comparison and fix error in forall/exists macros
#1695 opened May 15, 2026 by hanno-becker Contributor • Draft
12
Convert issue templates to YAML Issue Forms with SPDX header
#1693 opened May 12, 2026 by mkannwischer Contributor • Draft
3
common: Move backend includes into new backends.h shim
#1692 opened May 12, 2026 by hanno-becker Contributor Loading…
1
10
Avoid mismatched comparison [full CI]
#1691 opened May 12, 2026 by mkannwischer Contributor • Draft
4
Avoid mismatched comparison and fix error in forall/exists macros bug Something isn't working CBMC
#1690 opened May 12, 2026 by nmouha Contributor Loading…
20
Nix: Use slothy from nixpkgs instead of a bundled derivation needs-mldsa-native-port
#1686 opened May 9, 2026 by mkannwischer Contributor • Draft
1 task
3
[TEST] x86_64: 32-byte align stack scratch in rej_uniform and keccak_f1600_x4_avx2 benchmark this PR should be benchmarked in CI
#1682 opened May 8, 2026 by mkannwischer Contributor • Draft
Rust bindings v2
#1678 opened May 5, 2026 by Rixxc Loading…
1
Add ppc64le backend (supports p8 and above architectures) [full CI] benchmark this PR should be benchmarked in CI
#1677 opened May 5, 2026 by mkannwischer Contributor • Draft
26
Add ppc64le backend (supports p8 and above architectures) benchmark this PR should be benchmarked in CI ppc64le
#1648 opened Apr 6, 2026 by dannytsen Loading…
@mkannwischer
128
HOL-Light: improve tooling and CI needs-mldsa-native-port
#1634 opened Mar 20, 2026 by L-series Contributor Loading…
@mkannwischer
27
Test; Add sp align for performance; no proof updates benchmark this PR should be benchmarked in CI
#1632 opened Mar 18, 2026 by manastasova Contributor • Draft
5
RFC: Add incremental encaps API to support ML-KEM Braid benchmark this PR should be benchmarked in CI
#1619 opened Mar 12, 2026 by mkannwischer Contributor • Draft
35
Added AutoCorrode submodule, a reasoning framework for Rust and C in Isabelle/HOL needs-mldsa-native-port
#1590 opened Feb 27, 2026 by DominicPM Loading…
@mkannwischer
16
Armv8.1-M: Add native x1 Keccak with MVE bit-interleaving
#1550 opened Feb 6, 2026 by bremoran Contributor • Draft
2
7
Create Nucleo N657x0-Q Platform benchmark this PR should be benchmarked in CI
#1547 opened Feb 5, 2026 by bremoran Contributor Loading…
7
Armv8.1-M: Add clean x4 Keccak code and SLOTHY Makefile
#1527 opened Jan 28, 2026 by mkannwischer Contributor Loading…
1
@hanno-becker
4
CBMC: Enable coverage reports CBMC enhancement New feature or request
#1426 opened Dec 21, 2025 by hanno-becker Contributor • Draft
1
ProTip! Add no:assignee to see everything that’s not assigned.