Skip to content

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

New pull request New
32 Open 1,206 Closed
32 Open 1,206 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

PPC64LE: Add CFI annotations via autogen
#1748 opened Jun 14, 2026 by mkannwischer Contributor • Draft
1
3
tests: Add --cross {ARCH} convenience flag
#1747 opened Jun 14, 2026 by hanno-becker Contributor • Draft
1
RELEASE: Add release notes for v1.2.0
#1746 opened Jun 14, 2026 by mkannwischer Contributor Loading…
4
nix: Bump CBMC to latest develop to work around z3 soundness issue
#1745 opened Jun 14, 2026 by mkannwischer Contributor Loading…
7
SLOTHY: Pin to upstream 4302933
#1742 opened Jun 11, 2026 by mkannwischer Contributor • Draft
WIP: Add MSVC ARM64 (armasm64) support for the native AArch64 backend
#1741 opened Jun 11, 2026 by mkannwischer Contributor • Draft
1
2
Add rng_fail test Windows support (C backend only) needs-mldsa-native-port
#1738 opened Jun 8, 2026 by willieyz Contributor Loading…
3
Armv8.1-M: Expand x4 XOR/extract macro comments
#1715 opened Jun 1, 2026 by mkannwischer Contributor Loading…
3
nix: Pin z3 to upstream commit 286b107
#1705 opened May 22, 2026 by mkannwischer Contributor • Draft
3
nix: Bump z3 to 4.16.0 from nixpkgs-unstable DO-NOT-MERGE
#1702 opened May 22, 2026 by mkannwischer Contributor • Draft
4
Add kat test Windows support (C backend only) needs-mldsa-native-port
#1698 opened May 18, 2026 by willieyz Contributor Loading…
10
C: Switch to [inv]NTT with 2+2+2+1 structure benchmark this PR should be benchmarked in CI
#1696 opened May 15, 2026 by hanno-becker Contributor • Draft
3
[CI] Avoid mismatched comparison and fix error in forall/exists macros
#1695 opened May 15, 2026 by hanno-becker Contributor • Draft
12
Convert issue templates to YAML Issue Forms with SPDX header
#1693 opened May 12, 2026 by mkannwischer Contributor • Draft
3
Avoid mismatched comparison [full CI]
#1691 opened May 12, 2026 by mkannwischer Contributor • Draft
4
Avoid mismatched comparison and fix error in forall/exists macros bug Something isn't working CBMC
#1690 opened May 12, 2026 by nmouha Contributor Loading…
20
[TEST] x86_64: 32-byte align stack scratch in rej_uniform and keccak_f1600_x4_avx2 benchmark this PR should be benchmarked in CI
#1682 opened May 8, 2026 by mkannwischer Contributor • Draft
Rust bindings v2
#1678 opened May 5, 2026 by Rixxc Loading…
1
HOL-Light: improve tooling and CI needs-mldsa-native-port
#1634 opened Mar 20, 2026 by L-series Contributor Loading…
@mkannwischer
36
Test; Add sp align for performance; no proof updates benchmark this PR should be benchmarked in CI
#1632 opened Mar 18, 2026 by manastasova Contributor • Draft
5
RFC: Add incremental encaps API to support ML-KEM Braid benchmark this PR should be benchmarked in CI
#1619 opened Mar 12, 2026 by mkannwischer Contributor • Draft
35
Added AutoCorrode submodule, a reasoning framework for Rust and C in Isabelle/HOL needs-mldsa-native-port
#1590 opened Feb 27, 2026 by DominicPM Loading…
@mkannwischer
16
Armv8.1-M: Add native x1 Keccak with MVE bit-interleaving
#1550 opened Feb 6, 2026 by bremoran Contributor • Draft
2
7
Create Nucleo N657x0-Q Platform benchmark this PR should be benchmarked in CI
#1547 opened Feb 5, 2026 by bremoran Contributor Loading…
31
Armv8.1-M: Add clean x4 Keccak code and SLOTHY Makefile
#1527 opened Jan 28, 2026 by mkannwischer Contributor Loading…
1
@hanno-becker
8
ProTip! Follow long discussions with comments:>50.