Skip to content

Pull requests: cryspen/hax

New pull request New
15 Open 1,058 Closed
15 Open 1,058 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

First version of anodized annotations experiment.
#2019 opened Apr 24, 2026 by maximebuyse Contributor • Draft
chore(deps): bump rand from 0.8.5 to 0.8.6 in /examples dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#2016 opened Apr 23, 2026 by dependabot Bot Loading…
chore(deps): bump rand from 0.8.5 to 0.8.6 dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#2015 opened Apr 23, 2026 by dependabot Bot Loading…
fix(frontend): Fix multiple crashes in the frontend/import_thir
#2014 opened Apr 22, 2026 by maximebuyse Contributor Loading…
2
fix(fstar): fix wrong ident in _marker_trait.
#2012 opened Apr 20, 2026 by maximebuyse Contributor Loading…
1
chore(deps-dev): bump follow-redirects from 1.15.11 to 1.16.0 in /docs/.test dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#2009 opened Apr 15, 2026 by dependabot Bot Loading…
test: more lean tests
#2008 opened Apr 15, 2026 by clementblaudeau Contributor Loading…
chore(deps): bump rand from 0.8.5 to 0.9.3 in /tests dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#2006 opened Apr 14, 2026 by dependabot Bot Loading…
[Lean] ADC example with Rust spec
#1999 opened Apr 2, 2026 by abentkamp Contributor • Draft
vibe coded source maps for lean
#1989 opened Mar 23, 2026 by franziskuskiefer Member • Draft
feat(lean): specs for for-loops over signed ints
#1988 opened Mar 19, 2026 by abentkamp Contributor Loading…
1
Make hax-lib ints executable bigints.
#1980 opened Mar 9, 2026 by maximebuyse Contributor • Draft
chore(deps): bump bytes from 1.11.0 to 1.11.1 dependencies Pull requests that update a dependency file rust Pull requests that update Rust code
#1970 opened Feb 26, 2026 by dependabot Bot Loading…
Rust engine: errors resugaring.
#1672 opened Sep 9, 2025 by maximebuyse Contributor • Draft
3
Add BIP340 example stale waiting-on-reviewer Status: Awaiting review from the assignee but also interested parties.
#1531 opened Jun 26, 2025 by fjahr Loading…
8
ProTip! Mix and match filters to narrow down what you’re looking for.