Skip to content

Pull requests: hacspec/hax

New pull request New
21 Open 562 Closed
21 Open 562 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

Opaque extensions
#1134 opened Nov 25, 2024 by maximebuyse Loading…
1
Fix renaming of trait method in bundling.
#1126 opened Nov 21, 2024 by maximebuyse Loading…
1
3
Various tweaks
#1122 opened Nov 20, 2024 by Nadrieril Loading…
1
doc(book): architecture of hax
#1120 opened Nov 18, 2024 by W95Psp Loading…
1
10
Upstream fstar core changes from cryspen-sandwich.
#1117 opened Nov 13, 2024 by maximebuyse Loading…
1
5
Coq small fixes
#1108 opened Nov 11, 2024 by cmester0 Loading…
3
Remove filtering of generated code, replace with panics.
#1104 opened Nov 6, 2024 by maximebuyse Loading…
1
Move trait methods in cyclic dependencies bundling.
#1075 opened Oct 30, 2024 by maximebuyse Loading…
1
8
Add EBNF for AST to book
#1066 opened Oct 29, 2024 by cmester0 • Draft
2
Structure transition to annotated core lib
#1064 opened Oct 29, 2024 by cmester0 Loading…
1
AST generator
#1038 opened Oct 24, 2024 by cmester0 Loading…
3
Restore neg_equiv_lemma
#1004 opened Oct 16, 2024 by mamonet Loading…
3
Document valid CFG for Hax
#986 opened Oct 10, 2024 by cmester0 Loading…
6
experiments with using refined integers to model machine integers.
#978 opened Oct 8, 2024 by karthikbhargavan • Draft
1
doc: release procedure
#971 opened Oct 7, 2024 by W95Psp Loading…
13
chore: remove duplicate phase
#920 opened Sep 30, 2024 by W95Psp • Draft
1
fix(engine/fstar): fix super typeclasses attributes stale
#910 opened Sep 23, 2024 by W95Psp • Draft
1
4
Fix #699: add ocaml versions
#903 opened Sep 23, 2024 by W95Psp • Draft
Support patterns on arrays and opaque types. waiting-on-author Status: This is awaiting some action from the author.
#878 opened Sep 4, 2024 by maximebuyse Loading…
2
@maximebuyse
5
Fix dependencies bounded integers
#808 opened Jul 29, 2024 by W95Psp Loading…
4
[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
@jschneider-bensch
4
ProTip! no:milestone will show everything without a milestone.