-
Notifications
You must be signed in to change notification settings - Fork 38
Pull requests: pq-code-package/mlkem-native
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
check-magic: Remember all explained magic constants
#1294
opened Nov 10, 2025 by
hanno-becker
•
Draft
autogen: Remove
dry_run remnant and make HOL-Light autogeneration check unconditional in CI
#1292
opened Nov 10, 2025 by
hanno-becker
Loading…
Add copyright header to Makefiles and .yml files and extend lint
#1290
opened Nov 10, 2025 by
mkannwischer
•
Draft
Reintroduce struct definitions for mlk_poly{mat,vec}
benchmark
this PR should be benchmarked in CI
#1263
opened Oct 31, 2025 by
hanno-becker
Loading…
FIPS202: Provide alignment constraints for output buffers
needs-work
#1240
opened Oct 20, 2025 by
hanno-becker
•
Draft
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…
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
Added optimized ppc64le support functions for ML-KEM.
enhancement
New feature or request
needs-work
ppc64le
#1184
opened Sep 9, 2025 by
dannytsen
Loading…
AArch64: Add ABI checker
aarch64
enhancement
New feature or request
#1135
opened Jul 30, 2025 by
hanno-becker
•
Draft
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
Proposal: API Extension
benchmark
this PR should be benchmarked in CI
#715
opened Jan 29, 2025 by
mkannwischer
Loading…
ProTip!
Filter pull requests by the default branch with base:main.