Skip to content

Pull requests: flux-rs/flux

New pull request New
22 Open 1,296 Closed
22 Open 1,296 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

Use correct DefId (sized_id) when building BUILTIN assoc-refts
#1673 opened Jun 18, 2026 by ranjitjhala Contributor Loading…
1
Ref-to-Ptr Conversion
#1672 opened Jun 18, 2026 by ranjitjhala Contributor Loading…
Fix undeclared SMT constants in define-fun bodies under -Fsmt-define-fun
#1665 opened Jun 17, 2026 by Copilot AI • Draft
@ranjitjhala
1
Fix -Fsmt-define-fun crash when defs! bodies reference Rust constants
#1664 opened Jun 17, 2026 by Copilot AI • Draft
@enjhnsn2
1
Core Ptr Specs - part 1
#1663 opened Jun 16, 2026 by enjhnsn2 Collaborator Loading…
6
Refinement suggestions (wick)
#1660 opened Jun 13, 2026 by cole-k Collaborator Loading…
24
Higher-order (spec) functions
#1658 opened Jun 12, 2026 by ranjitjhala Contributor Loading…
3
Derive inhabited and make ext grind-able
#1655 opened Jun 11, 2026 by petros-marko Member Loading…
10
Propagate callee post-state to field-borrowed places when folding local pointers (#1613)
#1651 opened Jun 10, 2026 by kimjune01 Contributor • Draft
Add re-run hints to error messages
#1648 opened Jun 9, 2026 by shumbo Contributor Loading…
3
Allow applying projected abstract refinements from composite sorts
#1612 opened May 19, 2026 by Copilot AI • Draft
1
@enjhnsn2
4
add minimal spec for maybeuninit
#1601 opened May 14, 2026 by enjhnsn2 Collaborator Loading…
Add weak kvars
#1579 opened Apr 30, 2026 by cole-k Collaborator Loading…
7
Refinement suggestions
#1574 opened Apr 23, 2026 by cole-k Collaborator • Draft
8
Add hornspec CHC backend integration
#1543 opened Apr 2, 2026 by Copilot AI • Draft
1
@nilehmann
4
Visit no_panic_if while walking fn_sigs
#1533 opened Mar 19, 2026 by ninehusky Contributor Loading…
1
3
Add Span for better ICE reports
#1531 opened Mar 18, 2026 by ranjitjhala Contributor Loading…
5
Fix filling in elided lifetime holes
#1530 opened Mar 16, 2026 by ninehusky Contributor • Draft
1
3
Merge no_panic_if(true), no_panic behavior
#1526 opened Mar 2, 2026 by ninehusky Contributor Loading…
1
6
Support for recursive function definitions and PLE
#1407 opened Dec 17, 2025 by ranjitjhala Contributor Loading…
10
Toolchain upgrade to nightly-2026-02-09
#1345 opened Oct 21, 2025 by github-actions Bot Loading…
6
add Dockerfile
#964 opened Jan 5, 2025 by kidq330 • Draft
1
9
ProTip! no:milestone will show everything without a milestone.