Skip to content

Pull requests: cryspen/libcrux

New pull request New
25 Open 444 Closed
25 Open 444 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
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Fix ML-KEM benchmarks
#692 opened Nov 19, 2024 by jschneider-bensch Loading…
Remove Cargo.lock
#691 opened Nov 18, 2024 by Nadrieril Loading…
Export fixed-size versions of HPKE
#690 opened Nov 18, 2024 by keks Loading…
1
@keks
5
Delete Cargo.lock
#689 opened Nov 18, 2024 by franziskuskiefer Loading…
@franziskuskiefer
Bump serde_json from 1.0.132 to 1.0.133 dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#688 opened Nov 18, 2024 by dependabot bot Loading…
Bump hax-lib-macros from 4291b19 to 63432cf dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#687 opened Nov 18, 2024 by dependabot bot Loading…
Bump libc from 0.2.161 to 0.2.164 dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#686 opened Nov 18, 2024 by dependabot bot Loading…
Bump serde from 1.0.214 to 1.0.215 dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#685 opened Nov 18, 2024 by dependabot bot Loading…
Bump clap from 4.5.20 to 4.5.21 dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#684 opened Nov 18, 2024 by dependabot bot Loading…
Bump DeterminateSystems/nix-installer-action from 13 to 16 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#683 opened Nov 18, 2024 by dependabot bot Loading…
Update boring flow
#681 opened Nov 15, 2024 by franziskuskiefer Loading…
@franziskuskiefer
[ML-DSA] Measure stack frame size on CI
#680 opened Nov 14, 2024 by jschneider-bensch • Draft
1
Bump cc from 1.1.36 to 1.2.1 dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#679 opened Nov 14, 2024 by dependabot bot Loading…
Bump libfuzzer-sys from 0.4.7 to 0.4.8 dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#663 opened Nov 11, 2024 by dependabot bot Loading…
Merging main into dev
#662 opened Nov 8, 2024 by karthikbhargavan Loading…
[CI] Hax extract on different architectures
#658 opened Nov 6, 2024 by jschneider-bensch Loading…
Add proofs for portable compress module
#631 opened Oct 16, 2024 by mamonet Loading…
3
Libcrux secret independence
#624 opened Oct 11, 2024 by karthikbhargavan • Draft
[ML-KEM] (De)serialize unpacked keys to bytes
#601 opened Sep 27, 2024 by franziskuskiefer • Draft
@franziskuskiefer
[ML-KEM] Merge verified code back to main
#598 opened Sep 24, 2024 by karthikbhargavan Loading…
1
@karthikbhargavan
25
Bump DeterminateSystems/magic-nix-cache-action from 7 to 8 dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code
#579 opened Sep 16, 2024 by dependabot bot Loading…
Bump bindgen from 0.69.4 to 0.70.1 dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#534 opened Aug 26, 2024 by dependabot bot Loading…
Leftover makefile improvements
#527 opened Aug 23, 2024 by W95Psp Loading…
@W95Psp
2
ML-KEM: AVX2 implementation of serialize_11 and deserialize_11. keep-open
#518 opened Aug 19, 2024 by xvzcf Loading…
@xvzcf @jschneider-bensch
2
Add spec for PRFxN and SHAKE
#474 opened Aug 11, 2024 by karthikbhargavan • Draft
@karthikbhargavan
1
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.