Skip to content

Pull requests: HigherOrderCO/HVM

New pull request New
8 Open 181 Closed
8 Open 181 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

Propagate unsafety to definitions that depend on unsafe definitions
#379 opened Jun 7, 2024 by edusporto Loading…
2
Add the repository field to Cargo.toml
#376 opened Jun 6, 2024 by szabgab Loading…
recursive pretty print
#368 opened Jun 3, 2024 by enricozb Loading…
4
Type-conversion SYMs
#366 opened May 31, 2024 by CatsAreFluffy Loading…
2
Dynamic number of threads using HVM_NUM_THREADS.
#358 opened May 28, 2024 by khatharsis42 Loading…
fix example code in README
#340 opened May 23, 2024 by ethe Loading…
1
Add support for MSVC and GitHub Actions
#311 opened May 19, 2024 by sepcnt Loading…
6
allow changing ccbin
#278 opened May 16, 2024 by SchrodingerZhu Loading…
ProTip! Filter pull requests by the default branch with base:main.