Skip to content

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

New pull request New
27 Open 513 Closed
27 Open 513 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

HOL-Light: Add x86 AVX2 nttunpack proof hol-light
#955 opened Feb 6, 2026 by jakemas • Draft
1
native: Give single assembly unit a unique name
#954 opened Feb 6, 2026 by flynd Loading…
native: Add .size directive to all functions
#953 opened Feb 6, 2026 by flynd Loading…
Guard parameter-set specific backend files
#952 opened Feb 6, 2026 by willieyz Loading…
1
3
Mark all non-static declarations as internal or external needs-mlkem-native-port
#951 opened Feb 5, 2026 by hanno-becker Loading…
1
4
add Cortex-M33 MPS3-AN524 platform support needs-mlkem-native-port
#950 opened Feb 5, 2026 by jricardini Loading…
14
Hol-Light: Add x86 AVX2 iNTT proof hol-light
#943 opened Feb 3, 2026 by jakemas Loading…
1
13
Add HOL Light proof for aarch64 poly_chknorm benchmark
#942 opened Feb 3, 2026 by mkannwischer Loading…
1 of 2 tasks
1
30
Eliminate use_hint 32/88 intrinsics benchmark
#940 opened Feb 3, 2026 by willieyz Loading…
1
3
Use MLD_MUST_CHECK_RETURN_VALUE for all functions with return values
#931 opened Feb 1, 2026 by f15hr Loading…
1
4
Armv8.1-M: Add MVE Keccak-f1600 x4 implementation
#911 opened Jan 27, 2026 by mkannwischer Loading…
1
3
Eliminate caddq intrinsics benchmark
#905 opened Jan 22, 2026 by willieyz Loading…
1
30
verify memory usage: Unpack hints h on the fly benchmark
#897 opened Jan 19, 2026 by mkannwischer • Draft
3
Eliminate SUPERCOP API from tests
#891 opened Jan 16, 2026 by willieyz Loading…
1
9
Build: treat linker warnings as errors
#880 opened Jan 14, 2026 by mkannwischer • Draft
Unit-test: add consistency tests for mld_poly_uniform*_x1/x4
#855 opened Jan 7, 2026 by willieyz Loading…
1
@hanno-becker
32
WIP: Reduce memory footprint of key generation
#854 opened Jan 7, 2026 by mkannwischer • Draft
2
Constant-time: Make signature declassifications explicit in verification
#822 opened Dec 31, 2025 by mkannwischer • Draft
10
[WIP] Make CBMC specs more readable
#817 opened Dec 27, 2025 by hanno-becker • Draft
1
CBMC: Use instrumented malloc/free for MLD_ALLOC/MLD_FREE
#814 opened Dec 24, 2025 by hanno-becker • Draft
@mkannwischer
1
Add missing secret key coefficient validation
#807 opened Dec 19, 2025 by sgmenda Loading…
9
[TEST] Reduce crypto_sign_signature_internal stack usage
#791 opened Dec 15, 2025 by mkannwischer • Draft
Refactor mld_polymat_permute_bitrev_to_custom
#770 opened Dec 5, 2025 by willieyz • Draft
1
[TEST] Reduce crypto_sign_verify_internal stack usage
#751 opened Nov 29, 2025 by mkannwischer • Draft
2
Standardize on signed integers in quantifiers and loops. benchmark cbmc
#706 opened Nov 17, 2025 by rod-chapman • Draft
@rod-chapman
36
ProTip! Mix and match filters to narrow down what you’re looking for.