Skip to content

Pull requests: runtimeverification/haskell-backend

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

Update dependency: deps/k_release automerge
#4143 opened Apr 15, 2026 by rv-jenkins Contributor Loading…
@jberthold
feat(kore): add IEEE float builtin support
#4142 opened Mar 23, 2026 by Stevengre • Draft
Add downstream performance workflow perf
#4141 opened Mar 12, 2026 by Stevengre • Draft
@Stevengre
1
Hs dependency upgrade ghc 9.10.3
#4137 opened Feb 13, 2026 by jberthold Member • Draft
2 tasks
Update LICENSE
#4092 opened Feb 7, 2025 by maximevtush Loading…
Update LICENSE
#4091 opened Feb 7, 2025 by maximevtush Loading…
chore: remove redundant words
#4082 opened Dec 24, 2024 by loselarry Loading…
1 of 4 tasks
ProTip! no:milestone will show everything without a milestone.