Skip to content

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

New pull request New
33 Open 1,223 Closed
33 Open 1,223 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

[PPC64LE] poly_tomont: trim dead callee-saved spills (frame 320->224)
#1773 opened Jun 30, 2026 by Scottcjn Loading…
1
Clear ML-KEM Keccak stack scratch
#1771 opened Jun 30, 2026 by tob-joe Loading…
3
sys: Prefix capability enum values with architecture API-BREAK
#1770 opened Jun 30, 2026 by mkannwischer Contributor Loading…
1
3
Clear ML-KEM outputs on KEM failure
#1769 opened Jun 29, 2026 by tob-joe Loading…
3
common: Split context-parameter machinery into context.h
#1768 opened Jun 29, 2026 by mkannwischer Contributor Loading…
1
3
Fix Armv8.1-M x4 xor_bytes alignment fallback needs-mldsa-native-port
#1766 opened Jun 29, 2026 by bremoran Contributor Loading…
1
1
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 benchmark this PR should be benchmarked in CI 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
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
38
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
ProTip! Type g i on any issue or pull request to go back to the issue listing page.