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

36 Open 134 Closed
36 Open 134 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

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
Add support for functional updates
#870 opened Oct 30, 2024 by vrindisbacher
5
Extern Specs for Bitwise Operands on Ints
#867 opened Oct 29, 2024 by vrindisbacher
7
Unsoundness with ReifyFnPtr cast bug Something isn't working unsoundness
#859 opened Oct 22, 2024 by ranjitjhala
1
@ranjitjhala
1
Do not pretty print fixpoint constraints by default good first issue Good for newcomers
#858 opened Oct 22, 2024 by nilehmann
Compressing repeated predicates (low priority)
#851 opened Oct 15, 2024 by enjhnsn2
1
bug: The sort Str is not numeric
#839 opened Oct 2, 2024 by Samir-Rashid
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
8
Can't use associated types in definition of associated refinement
#825 opened Sep 26, 2024 by enjhnsn2
3
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
Tracking issue: Tock errors
#740 opened Aug 21, 2024 by enjhnsn2
Better Normalization Needed enhancement New feature or request normalization Issue related to normalization of associated types unsoundness
#737 opened Aug 21, 2024 by ranjitjhala
2
ICE: "expected array or slice type" mut-ref-unfolding Related to unfolding of mutable references
#733 opened Aug 19, 2024 by enjhnsn2
2
False positive with usize cast from &mut [T; n] to &mut [T]
#717 opened Aug 15, 2024 by nilehmann
1
Strange error jumping to join point in code involving mutable references mut-ref-unfolding Related to unfolding of mutable references
#702 opened Aug 12, 2024 by nilehmann
bug: function closure pointer parameter bug Something isn't working normalization Issue related to normalization of associated types
#697 opened Aug 10, 2024 by Samir-Rashid
1
Necessary support for Tock register fields
#689 opened Aug 7, 2024 by enjhnsn2
5
ICE when assoc refinement is used in type that doesn't implement trait. bug Something isn't working error-messages Better error messages
#679 opened Aug 6, 2024 by nilehmann
Unfolding of mutable references mut-ref-unfolding Related to unfolding of mutable references
#671 opened Jul 31, 2024 by enjhnsn2
3
ProTip! Follow long discussions with comments:>50.