Skip to content

Pull requests: coord-e/thrust

New pull request New
11 Open 121 Closed
11 Open 121 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 enum-drop of aggregate mutable-reference fields
#167 opened Jul 4, 2026 by coord-e Owner Loading…
2
Add subsequence and slice split operations
#164 opened Jul 1, 2026 by coord-e Owner Loading…
3
Add an offset field to the Seq model
#163 opened Jul 1, 2026 by coord-e Owner Loading…
Relate OuterFnParam to locals via FnParam::at_here in loop invariants
#156 opened Jun 28, 2026 by coord-e Owner • Draft
Track drop points by MIR Place, splitting partially-moved locals (fix #121, #122)
#155 opened Jun 28, 2026 by coord-e Owner • Draft
1
Add offset slice views and split_first_mut
#153 opened Jun 28, 2026 by coord-e Owner • Draft
Drop old annotation parser implementation
#117 opened Jun 11, 2026 by coord-e Owner • Draft
1
Support Rust syntax in thrust::predicate bodies
#114 opened Jun 9, 2026 by coord-e Owner • Draft
Update toolchain to nightly-2026-03-08
#94 opened May 24, 2026 by coord-e Owner • Draft
Encode unknown generic type parameters with (declare-forall-sort)
#93 opened May 24, 2026 by coeff-aij Collaborator • Draft
2
Support annotations for methods in impl blocks
#24 opened Jan 25, 2026 by coeff-aij Collaborator • Draft
1
ProTip! Exclude everything labeled bug with -label:bug.