Skip to content

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

New pull request New
29 Open 695 Closed
29 Open 695 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

Simplify decompose C reference to a single high multiplication benchmark
#1177 opened Jun 14, 2026 by mkannwischer Contributor • Draft
1
25
SLOTHY: Pin to 0.2.2 to speed up CI re-optimization
#1176 opened Jun 14, 2026 by mkannwischer Contributor • Draft
1
6
CI: Improve workflow robustness
#1172 opened Jun 12, 2026 by mkannwischer Contributor Loading…
6
SLOTHY: Pin to upstream 4302933
#1170 opened Jun 11, 2026 by mkannwischer Contributor • Draft
x86_64 + HOL-Light: Replace poly_decompose AVX2 intrinsics with hand-written assembly and HOL-Light proofs benchmark
#1163 opened Jun 10, 2026 by jakemas Contributor Loading…
2
30
poly: Deduplicate poly_decompose and poly_use_hint
#1159 opened Jun 7, 2026 by mkannwischer Contributor • Draft
6
Tests: Add AVR baremetal tests
#1158 opened Jun 7, 2026 by mkannwischer Contributor Loading…
1
@hanno-becker
9
dev: Document ABI and callee-saved register handling at function entry
#1148 opened Jun 4, 2026 by hanno-becker Contributor Loading…
7
mldsa: annotate functions with FIPS 204 algorithm references
#1146 opened Jun 3, 2026 by mkannwischer Contributor Loading…
1
15
ACVP: Allow skipping pre-hash modes unsupported by Python's hashlib
#1140 opened Jun 1, 2026 by mkannwischer Contributor Loading…
1
7
nix: Pin z3 to upstream commit 286b107
#1127 opened May 22, 2026 by mkannwischer Contributor • Draft
6
nix: Bump z3 to 4.16.0 from nixpkgs-unstable DO-NOT-MERGE
#1125 opened May 22, 2026 by mkannwischer Contributor • Draft
8
[WIP] CBMC: Add support for using multiple solvers
#1122 opened May 18, 2026 by hanno-becker Contributor • Draft
7
[EXPERIMENTAL] Add RV32-IM backend
#1119 opened May 15, 2026 by hanno-becker Contributor • Draft
6
Speed up C-reference NTT/invNTT with twisted zetas + 2-layer merging benchmark
#1118 opened May 12, 2026 by hanno-becker Contributor • Draft
33
CBMC: Improve readability of CBMC specs cbmc enhancement New feature or request
#1116 opened May 12, 2026 by hanno-becker Contributor • Draft
7
Avoid mismatched comparison (suggested code improvement, not a bug!) enhancement New feature or request
#1114 opened May 12, 2026 by nmouha Contributor • Draft
4
Bench: Disable ASLR on x86_64 to stabilize cycle counts benchmark
#1091 opened May 4, 2026 by mkannwischer Contributor • Draft
33
lint: Add ast-grep check for visibility-macro annotations
#1053 opened Apr 22, 2026 by mkannwischer Contributor • Draft
1
x86_64 + HOL-Light: Replace rej_uniform intrinsics with assembly and HOL-Light CORRECT and MEMSAFE proofs benchmark
#1014 opened Apr 3, 2026 by jakemas Contributor Loading…
1
@mkannwischer
57
HOL-Light: improve tooling and CI
#1009 opened Apr 1, 2026 by L-series Contributor • Draft
@mkannwischer
4
x86_64/AArch64: Add AVX2/Neon polyw1_pack to x86_64 native backend benchmark
#973 opened Feb 21, 2026 by mkannwischer Contributor • Draft
1 of 4 tasks
31
x86_64: Eliminate use_hint 32/88 intrinsics benchmark DO-NOT-MERGE x86_64
#940 opened Feb 3, 2026 by willieyz Contributor • Draft
1
64
Eliminate SUPERCOP API from tests
#891 opened Jan 16, 2026 by willieyz Contributor Loading…
1
10
Unit-test: add consistency tests for mld_poly_uniform*_x1/x4
#855 opened Jan 7, 2026 by willieyz Contributor Loading…
1
@hanno-becker
32
ProTip! What’s not been updated in a month: updated:<2026-05-14.