Skip to content
This repository has been archived by the owner on Mar 7, 2024. It is now read-only.

Pull requests: hacspec/hacspec

17 Open 245 Closed
17 Open 245 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
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

Test: run CI on main
#381 opened Feb 12, 2024 by W95Psp • Draft
5 tasks
Update Readme.md
#378 opened Jun 21, 2023 by spitters Loading…
5 tasks
1
Update serde requirement from =1.0.156 to =1.0.159
dependencies Pull requests that update a dependency file
#376 opened Mar 28, 2023 by dependabot bot Loading…
Update syn requirement from 1.0 to 2.0
dependencies Pull requests that update a dependency file
#375 opened Mar 28, 2023 by dependabot bot Loading…
Pearlite spec for hacspec lib
#368 opened Feb 27, 2023 by cmester0 • Draft
3 of 5 tasks
Generic Hacspec lib
#342 opened Dec 8, 2022 by W95Psp • Draft
5 tasks
@W95Psp
Add Github action for F*
#341 opened Dec 8, 2022 by W95Psp • Draft
5 tasks
@W95Psp
Quickcheck tests incorrect
#337 opened Nov 18, 2022 by cmester0 • Draft
4 of 5 tasks
@cmester0
Allow unannonated Some and None
#335 opened Nov 15, 2022 by W95Psp • Draft
5 of 11 tasks
@W95Psp
2
Full Coverage for Coq Hacspec Lib
#331 opened Nov 10, 2022 by cmester0 • Draft
3 of 11 tasks
@cmester0
Support non-mutable inline blocks
#326 opened Nov 7, 2022 by W95Psp • Draft
4 of 13 tasks
@W95Psp
Org mode
#309 opened Oct 20, 2022 by cmester0 • Draft
3 of 11 tasks
@cmester0
Get rid of custom cargo logic in main.rs
#305 opened Oct 19, 2022 by W95Psp • Draft
3 of 13 tasks
@W95Psp
Update chacha20poly1305 requirement from 0.9 to 0.10
dependencies Pull requests that update a dependency file waiting-on-review Status: Awaiting review from the assignee but also interested parties.
#280 opened Aug 1, 2022 by dependabot bot Loading…
Update aead requirement from 0.4 to 0.5
dependencies Pull requests that update a dependency file waiting-on-review Status: Awaiting review from the assignee but also interested parties.
#278 opened Jul 25, 2022 by dependabot bot Loading…
Linalg 4 - Added trait bounded generics as example (not hacspec compliant!)
blocked Status: marked as blocked on something else.
#275 opened Jul 6, 2022 by rasmus-kirk • Draft
4
Code for AES-CCM in Hacspec Rust
inactive Status: Inactive and waiting on the author. spec 📜 A new hacspec
#139 opened Aug 25, 2021 by tanmay2004 • Draft
@tanmay2004
55
ProTip! What’s not been updated in a month: updated:<2024-04-08.