Skip to content

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

New pull request New
29 Open 1,241 Closed
29 Open 1,241 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

zephyr: fix NUCLEO benchmark timing and TCM layout benchmark this PR should be benchmarked in CI
#1796 opened Jul 9, 2026 by bremoran Contributor Loading…
3
Make tests and examples compatible with reduced-API configurations
#1787 opened Jul 6, 2026 by hanno-becker Contributor • Draft v2
3
Add gcc to the NIX shell on macOS to support CBMC. CBMC needs-mldsa-native-port
#1780 opened Jul 3, 2026 by rod-chapman Contributor Loading…
@rod-chapman
5
FIPS202: Consolidate backend MLK_USE_NATIVE_* flags API-BREAK DO-NOT-MERGE
#1775 opened Jul 1, 2026 by mkannwischer Contributor Loading… v2
1
4
[PPC64LE] poly_tomont: trim dead callee-saved spills (frame 320->224)
#1773 opened Jun 30, 2026 by Scottcjn Loading…
1
8
Clear ML-KEM Keccak stack scratch benchmark this PR should be benchmarked in CI needs-mldsa-native-port
#1771 opened Jun 30, 2026 by tob-joe Loading…
23
sys: Prefix capability enum values with architecture API-BREAK
#1770 opened Jun 30, 2026 by mkannwischer Contributor Loading… v2
1
3
Clear ML-KEM outputs on KEM failure benchmark this PR should be benchmarked in CI
#1769 opened Jun 29, 2026 by tob-joe Loading…
3
Fix Armv8.1-M x4 xor_bytes alignment fallback needs-mldsa-native-port
#1766 opened Jun 29, 2026 by bremoran Contributor Loading…
1
5
Add CBMC target platform support
#1760 opened Jun 26, 2026 by tob-joe Loading…
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
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
Rust bindings v2
#1678 opened May 5, 2026 by Rixxc Loading…
1
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
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
ProTip! Mix and match filters to narrow down what you’re looking for.