Skip to content

Pull requests: HigherOrderCO/HVM

New pull request New
6 Open 195 Closed
6 Open 195 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

Updates actions
#400 opened Jul 1, 2024 by kings177 Loading…
4
Readback results from HVM into Rust through interop
#389 opened Jun 13, 2024 by edusporto • Draft
Correct an erratum in the paper
#388 opened Jun 12, 2024 by Somfic Loading…
Dynamic number of threads using HVM_NUM_THREADS.
#358 opened May 28, 2024 by khatharsis42 Loading…
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! Add no:assignee to see everything that’s not assigned.