Skip to content

Issues: flux-rs/flux

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

44 Open 149 Closed
44 Open 149 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
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Dockerfile (as an alternative to web demo)
#962 opened Jan 2, 2025 by kidq330
1
Flux (ultimately z3) hangs on trivial constraint.
#949 opened Dec 17, 2024 by vrindisbacher
20
Annotations take forever to check - hang up in Z3
#944 opened Dec 13, 2024 by vrindisbacher
2
Improve clearance of Error[E0999] use of ignored item and Error[E0999] refinement of unsupported struct
#933 opened Dec 10, 2024 by Zn2FePO424H2O
1
Support constant sorts that are not integers
#932 opened Dec 9, 2024 by vrindisbacher
@ranjitjhala
19
Better support for projections in flux refinements
#925 opened Dec 5, 2024 by vrindisbacher
5
Can't reference Self type when using associated refinement
#923 opened Dec 4, 2024 by enjhnsn2
3
Make checker trace more granular
#916 opened Dec 3, 2024 by ranjitjhala
Internal Compiler Error in place_ty
#909 opened Nov 25, 2024 by vrindisbacher
Potential unsoundness involving Any/downcasting bug Something isn't working unsoundness
#907 opened Nov 23, 2024 by dewert99
1
Improve (Localize) errors at function calls
#894 opened Nov 20, 2024 by ranjitjhala
@ranjitjhala
Add support for const promotion
#886 opened Nov 15, 2024 by ranjitjhala
@ranjitjhala
1
ICE with const-generic signature
#885 opened Nov 15, 2024 by ranjitjhala
4
Improve error message when type cannot be resolved error-messages Better error messages good first issue Good for newcomers
#877 opened Nov 7, 2024 by nilehmann
add debug statement to expose type & constraints
#871 opened Oct 31, 2024 by Samir-Rashid
1
Extern Specs for Bitwise Operands on Ints
#867 opened Oct 29, 2024 by vrindisbacher
7
Do not pretty print fixpoint constraints by default good first issue Good for newcomers
#858 opened Oct 22, 2024 by nilehmann
1
Compressing repeated predicates (low priority)
#851 opened Oct 15, 2024 by enjhnsn2
1
Check that the self type in an extern spec for a trait impl matches the external definition. error-messages Better error messages good first issue Good for newcomers
#833 opened Oct 1, 2024 by nilehmann
ICE: cannot infer substitution during normalization
#829 opened Oct 1, 2024 by ranjitjhala
1
12
assignment might be unsafe caused by extern spec on Option<T> mut-ref-unfolding Related to unfolding of mutable references
#782 opened Sep 11, 2024 by nilehmann
meta: improve community outreach
#776 opened Sep 4, 2024 by Samir-Rashid
ICE: Impossible case reached error-messages Better error messages
#773 opened Sep 4, 2024 by enjhnsn2
4
flux_rs::defs and extern_spec cannot be imported across crates
#759 opened Aug 29, 2024 by enjhnsn2
3
Refining struct with no invariants causes assignment might be unsafe error mut-ref-unfolding Related to unfolding of mutable references
#755 opened Aug 26, 2024 by enjhnsn2
ProTip! Updated in the last three days: updated:>2024-12-31.