Skip to content

Pull requests: hacspec/hax

New pull request New
14 Open 375 Closed
14 Open 375 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

doc(engine): ppx_functor_application
#744 opened Jul 1, 2024 by W95Psp Loading…
1
fix(engine/fstar): fix c_trait_goal and always use it for traits
#738 opened Jun 26, 2024 by W95Psp • Draft
1
1
fix(frontend): make path_to breadth-first waiting-on-author Status: This is awaiting some action from the author.
#730 opened Jun 20, 2024 by W95Psp • Draft
1
@W95Psp
[ProVerif] Renaming / AST transformation pseudophase waiting-on-author Status: This is awaiting some action from the author.
#728 opened Jun 20, 2024 by jschneider-bensch • Draft
Fstar val instances waiting-on-author Status: This is awaiting some action from the author.
#718 opened Jun 13, 2024 by W95Psp • Draft
feat(cli): add a list-names verb, accept "raw" paths waiting-on-author Status: This is awaiting some action from the author.
#714 opened Jun 12, 2024 by W95Psp Loading…
Fix issue #699: pin OCaml dependencies waiting-on-author Status: This is awaiting some action from the author.
#705 opened Jun 6, 2024 by W95Psp Loading…
1
Generate visitors automatically waiting-on-reviewer Status: Awaiting review from the assignee but also interested parties.
#698 opened Jun 3, 2024 by W95Psp Loading…
4
feat: add a logo needs-discussion Issue that requires a discussion to make their status clear
#682 opened May 21, 2024 by W95Psp Loading…
1
Add match guard to AST waiting-on-author Status: This is awaiting some action from the author.
#577 opened Mar 21, 2024 by cmester0 Loading…
2
Ssprove backend lib coq Coq backend lib Lib-related issue (i.e. Hacspec lib) tests Issue related to tests, CI or examples waiting-on-reviewer Status: Awaiting review from the assignee but also interested parties.
#575 opened Mar 15, 2024 by cmester0 Loading…
1
more principled generic printer waiting-on-reviewer Status: Awaiting review from the assignee but also interested parties.
#533 opened Feb 27, 2024 by W95Psp Loading…
1
1
refactor(engine): complete cleanup of ast_utils waiting-on-author Status: This is awaiting some action from the author.
#442 opened Jan 18, 2024 by W95Psp • Draft
1
Coq proof lib
#386 opened Dec 7, 2023 by cmester0 • Draft
@cmester0
14
ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.