Skip to content

Pull requests: cryspen/hax

New pull request New
28 Open 1,198 Closed
28 Open 1,198 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

fix: fix CI job that checks for dead links
#2227 opened Sep 7, 2026 by abentkamp Contributor Loading…
6
ci: one nightly workflow for the projects that use hax
#2226 opened Sep 7, 2026 by maximebuyse Contributor • Draft
[core-models] Fix divergences
#2224 opened Sep 7, 2026 by maximebuyse Contributor • Draft
feat: trust-boundary tombstones for excluded/opacified items (F* + legacy-lean)
#2222 opened Sep 6, 2026 by karthikbhargavan Contributor Loading…
@maximebuyse
Upgrade to F* master f* F* backend
#2221 opened Sep 5, 2026 by nikswamy Loading…
Print valid Rust for associated types in the debug printer
#2220 opened Sep 5, 2026 by karthikbhargavan Contributor Loading…
RPITIT support (#1965): desugar return-position impl Trait in traits
#2219 opened Sep 5, 2026 by karthikbhargavan Contributor • Draft
fix(fstar): sanitize illegal characters in identifiers and diagnostic snippets
#2218 opened Sep 5, 2026 by karthikbhargavan Contributor Loading…
@maximebuyse
Opacify or exclude unsupported mutable references
#2217 opened Sep 4, 2026 by karthikbhargavan Contributor Loading…
fix(fstar): reject dyn
#2216 opened Sep 4, 2026 by karthikbhargavan Contributor Loading…
@maximebuyse
ci(bertie): resolve the pinned hax-lib version via cargo metadata
#2210 opened Sep 3, 2026 by treiher Contributor Loading…
@treiher
2
fix(legacy-lean): sanitize Rust identifiers into valid Lean identifiers
#2209 opened Sep 3, 2026 by karthikbhargavan Contributor Loading…
@abentkamp
[core-models] More iterators
#2166 opened Aug 22, 2026 by karthikbhargavan Contributor • Draft
@maximebuyse
[core-models] Improve models coverage of alloc
#2165 opened Aug 21, 2026 by maximebuyse Contributor • 9/9 • Draft
[core-models] Improve coverage of slice fmt and iter
#2164 opened Aug 21, 2026 by maximebuyse Contributor • 8/9 • Draft
[core-models] Improve coverage of num
#2163 opened Aug 21, 2026 by maximebuyse Contributor • 7/9 • Draft
[core-models] Improve models coverage for several small modules
#2162 opened Aug 21, 2026 by maximebuyse Contributor • 6/9 • Draft
feat(core-models): model indexing by RangeInclusive
#2152 opened Aug 20, 2026 by treiher Contributor Loading…
1
@treiher
chore: bump lean and aeneas
#2126 opened Aug 5, 2026 by abentkamp Contributor • Draft
Symbolic tracing: unified symbolic_model/symbolic_trace annotations (on top of #2068)
#2072 opened Jul 15, 2026 by karthikbhargavan Contributor • Draft
2
ProVerif backend: port to the rust-engine (uniform-bitstring Stage 2)
#2068 opened Jul 13, 2026 by karthikbhargavan Contributor • Draft
3
feat(lean): formulate unsigned int specs with mathematical Int (#1830)
#2024 opened May 4, 2026 by MavenRain Contributor Loading…
6
fix(lean): emit unqualified trait fields in default method bodies (#1889)
#2023 opened May 3, 2026 by MavenRain Contributor Loading…
4
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…
1
vibe coded source maps for lean
#1989 opened Mar 23, 2026 by franziskuskiefer Member • Draft
2
ProTip! Follow long discussions with comments:>50.