Skip to content

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

New pull request New
28 Open 1,221 Closed
28 Open 1,221 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

Add CBMC target platform support
#1760 opened Jun 26, 2026 by tob-joe Loading…
autogen: Improve wording and reduce verbosity of documentation
#1758 opened Jun 25, 2026 by hanno-becker Contributor Loading…
3
Add Zephyr-based test platform for QEMU MPS boards needs-mldsa-native-port
#1750 opened Jun 16, 2026 by mkannwischer Contributor Loading…
5
PPC64LE: Add CFI annotations via autogen
#1748 opened Jun 14, 2026 by mkannwischer Contributor • Draft
1
3
tests: Add --cross {ARCH} convenience flag
#1747 opened Jun 14, 2026 by hanno-becker Contributor • Draft
1
SLOTHY: Pin to upstream 4302933
#1742 opened Jun 11, 2026 by mkannwischer Contributor • Draft
WIP: Add MSVC ARM64 (armasm64) support for the native AArch64 backend
#1741 opened Jun 11, 2026 by mkannwischer Contributor • Draft
1
2
Add Windows MSVC test support: rng_fail, alloc, wycheproof needs-mldsa-native-port
#1738 opened Jun 8, 2026 by willieyz Contributor Loading…
6
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
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
[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
HOL-Light: improve tooling and CI needs-mldsa-native-port
#1634 opened Mar 20, 2026 by L-series Contributor Loading…
@mkannwischer
37
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…
34
Armv8.1-M: Add clean x4 Keccak code and SLOTHY Makefile
#1527 opened Jan 28, 2026 by mkannwischer Contributor Loading…
1
@mkannwischer
8
CBMC: Enable coverage reports CBMC enhancement New feature or request
#1426 opened Dec 21, 2025 by hanno-becker Contributor • Draft
1
Refactor mlk_polymat_permute_bitrev_to_custom
#1336 opened Dec 3, 2025 by mkannwischer Contributor Loading…
1
@rod-chapman @hanno-becker
11
README: Add Supported platforms section documentation Improvements or additions to documentation enhancement New feature or request
#1254 opened Oct 24, 2025 by hanno-becker Contributor • Draft
@hanno-becker
1
ProTip! What’s not been updated in a month: updated:<2026-05-26.