Skip to content

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

New pull request New
15 Open 925 Closed
15 Open 925 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

CBMC: Fix native Armv8.4-A Keccak proofs on x86
#1319 opened Nov 20, 2025 by mkannwischer • Draft
1
tests: Run check-namespace script also for tests all
#1317 opened Nov 20, 2025 by mkannwischer • Draft
Make: Support CFLAGS as both env var and make argument
#1316 opened Nov 20, 2025 by mkannwischer Loading…
1
2
HOL-Light: Add support for cross-compilation of target object files compatibility enhancement New feature or request hol-light
#1303 opened Nov 12, 2025 by hanno-becker • Draft
CI: config-variation - validate test IDs
#1291 opened Nov 10, 2025 by mkannwischer • Draft
Reintroduce struct definitions for mlk_poly{mat,vec} benchmark this PR should be benchmarked in CI CBMC enhancement New feature or request
#1263 opened Oct 31, 2025 by hanno-becker Loading…
23
README: Add Supported platforms section documentation Improvements or additions to documentation enhancement New feature or request
#1254 opened Oct 24, 2025 by hanno-becker • Draft
[TEST] Test on Arm MPS3 FPGA
#1246 opened Oct 22, 2025 by mkannwischer • Draft
1
Add FIPS202 backend for Armv8.1-M+MVE enhancement New feature or request MVE Relating to Armv8.1-M+MVE architecture
#1224 opened Oct 9, 2025 by bremoran Loading…
1
Add PPC64LE backend DO-NOT-MERGE enhancement New feature or request ppc64le
#1193 opened Sep 20, 2025 by hanno-becker Loading…
2 of 5 tasks
1
Added optimized ppc64le support functions for ML-KEM. enhancement New feature or request needs-work ppc64le
#1184 opened Sep 9, 2025 by dannytsen Loading…
98
Add no-stdlib build for mlkem-native
#1153 opened Aug 14, 2025 by willieyz Loading…
1
21
AArch64: Add ABI checker aarch64 enhancement New feature or request
#1135 opened Jul 30, 2025 by hanno-becker • Draft
1
CBMC: Refine bounds for input and output of base multiplication benchmark this PR should be benchmarked in CI CBMC DO-NOT-MERGE enhancement New feature or request
#906 opened Mar 24, 2025 by hanno-becker • Draft
28
Proposal: API Extension benchmark this PR should be benchmarked in CI
#715 opened Jan 29, 2025 by mkannwischer Loading…
72
ProTip! Type g i on any issue or pull request to go back to the issue listing page.