coord-e /thrustPublic

Notifications You must be signed in to change notification settings
Fork 1
Star 25

Code
Issues51
Pull requests16
Actions
Projects
Security and quality
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Security and quality
Insights

Pull requests: coord-e/thrust

Labels 13 Milestones 0

New pull requestNew

16 Open 149 Closed

Author

Filter by author

Uh oh!

There was an error while loading. Please reload this page.

Label

Filter by label

Uh oh!

There was an error while loading. Please reload this page.

Use alt + click/return to exclude labels

or ⇧ + click/return for logical OR

Projects

Filter by project

Uh oh!

There was an error while loading. Please reload this page.

Milestones

Filter by milestone

Uh oh!

There was an error while loading. Please reload this page.

Reviews

Filter by reviews

No reviews Review required Approved review Changes requested

Assignee

Filter by who’s assigned

Assigned to nobody

Uh oh!

There was an error while loading. Please reload this page.

Sort

Sort by

Newest Oldest Most commented Least commented Recently updated Least recently updated Best match

Most reactions

Pull requests list

Analyze the impl body a trait-dispatched call resolves to

#237 opened Aug 20, 2026 by coord-eOwner • Draft

Let a ghost term name generic- and Self-typed variables

#232 opened Aug 16, 2026 by coord-eOwner • 2/2 • Draft

Carry what a type states across a basic block boundary

#230 opened Aug 16, 2026 by coord-eOwner • Draft

Take the type of a call from the callee

#227 opened Aug 16, 2026 by coord-eOwner • 2/3 • Draft

Take the precondition of the entry block from the signature

#226 opened Aug 16, 2026 by coord-eOwner • 1/3 • Draft

Take the state at a join as the disjunction of the states behind it

#224 opened Aug 15, 2026 by coord-eOwner • 3/3 • Draft

Bind the structure of the value a mutable borrow prophesies

#213 opened Aug 13, 2026 by coord-eOwner • Draft

Add subsequence and slice split operations

#164 opened Jul 1, 2026 by coord-eOwner • Draft

Add an offset field to the Seq model

#163 opened Jul 1, 2026 by coord-eOwner • Draft

Relate OuterFnParam to locals via FnParam::at_here in loop invariants

#156 opened Jun 28, 2026 by coord-eOwner • Draft

Don't re-drop partially-moved sub-places (fix #121, #122)

#155 opened Jun 28, 2026 by coord-eOwner • Draft

Add offset slice views and split_first_mut

#153 opened Jun 28, 2026 by coord-eOwner • Draft

Support Rust syntax in thrust::predicate bodies

#114 opened Jun 9, 2026 by coord-eOwner • Draft

Update toolchain to nightly-2026-03-08

#94 opened May 24, 2026 by coord-eOwner • Draft

Encode unknown generic type parameters with (declare-forall-sort)

#93 opened May 24, 2026 by coeff-aijCollaborator • Draft

Support annotations for methods in impl blocks

#24 opened Jan 25, 2026 by coeff-aijCollaborator • Draft

ProTip! Find all pull requests that aren't related to any open issues with -linked:issue.