Skip to content

Pull requests: diku-dk/futhark

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

Make entry points always return a single value.
#2410 opened Mar 28, 2026 by athas Member Loading…
Property-Based testing tool for futhark (solving #2163)
#2405 opened Mar 24, 2026 by Black-Speedy • Draft
1
Implement calling of Futhark Server programs from the interpreter
#2399 opened Mar 16, 2026 by vox9 Collaborator Loading…
9
Constraint-based type checking without AUTOMAP.
#2302 opened Jul 30, 2025 by athas Member • Draft
Normalise size expressions during unification.
#2281 opened Jun 6, 2025 by athas Member • Draft
Fix #2230
#2248 opened Apr 10, 2025 by athas Member • Draft
AUTOMAP
#2159 opened Jul 3, 2024 by athas Member Loading…
Add WebGPU backend
#2140 opened May 2, 2024 by spaarmann Contributor • Draft
11
Add new simplification rule for invariant loop parameters. run-benchmarks Makes GA run the benchmark suite.
#1990 opened Jul 20, 2023 by athas Member Loading…
1
Refinement typing
#1961 opened Jun 12, 2023 by catvayor Contributor • Draft
6
Implementation of irregular flattening
#1740 opened Oct 16, 2022 by athas Member • Draft
7
ProTip! Exclude everything labeled bug with -label:bug.
⚡