Skip to content

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

New pull request New
18 Open 310 Closed
18 Open 310 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

Makefile: track environment variable changes
#632 opened Nov 6, 2025 by L-series Loading…
1
4
CBMC: Improve proof stability
#631 opened Nov 6, 2025 by mkannwischer • Draft
2
nix: update to z3 4.15.3
#630 opened Nov 6, 2025 by mkannwischer • Draft
Add bounds reasoning comments to AVX2 decompose
#629 opened Nov 6, 2025 by jammychiou1 • Draft
[TEST2] MLD_CONFIG_SERIAL_FIPS202_ONLY
#628 opened Nov 6, 2025 by mkannwischer • Draft
Nix: Update CBMC to 6.8.0
#627 opened Nov 6, 2025 by mkannwischer • Draft
1
Config: Add MLD_CONFIG_NO_RANDOMIZED_API
#619 opened Nov 6, 2025 by mkannwischer Loading…
2
Consistently use mld_memcpy and mld_memset where possible
#618 opened Nov 6, 2025 by mkannwischer Loading…
Port: Reduce runtime of autogen
#617 opened Nov 5, 2025 by willieyz Loading…
1
2
CI: Switch to r8g.xlarge for CBMC proofs
#614 opened Nov 5, 2025 by mkannwischer • Draft
1
CBMC: Improve proof stability benchmark DO-NOT-MERGE
#611 opened Nov 5, 2025 by mkannwischer Loading…
1
@rod-chapman
37
Move poly_chknorm from poly_kl.c to poly.c
#610 opened Nov 5, 2025 by mkannwischer Loading…
1
Add Runtime dispatch based on custom CPU capabilities function
#607 opened Nov 4, 2025 by willieyz • Draft
1
[TEST] Merge two validity checks during signing benchmark
#572 opened Oct 31, 2025 by hanno-becker • Draft
45
Add bounds reasoning comments to AVX2 backend benchmark
#560 opened Oct 26, 2025 by jammychiou1 Loading…
1
30
Add MLD_CONFIG_SERIAL_FIPS202_ONLY option benchmark
#558 opened Oct 26, 2025 by mkannwischer Loading…
1
@rod-chapman
27
Add native implementations for Keccak on Armv8.1-m
#511 opened Oct 1, 2025 by bremoran Loading…
5
Avoid calling keccak_absorb with partial lanes benchmark
#450 opened Sep 10, 2025 by bremoran • Draft
1
32
ProTip! Updated in the last three days: updated:>2025-11-03.