flux
Rust Easyflux-rs/flux
846 stars
33 forks
5 open issues
Active Apr 2026
Beginner-Friendly Issues 5
Issues tagged for new contributors
Unsound rule for integer division
#1547 · Apr 7, 2026
bug good first issue unsoundness
Flux-core support for pointers and allocation primitives
#1546 · Apr 7, 2026
Add `flux-core` extern specs from `vtock` work
#1538 · Apr 1, 2026
ICE in `conv/mod.rs` when referencing refinements in `no_panic_if` `Expr`s
#1532 · Mar 19, 2026
ICE in `struct_compat.rs` due to elided lifetimes
#1529 · Mar 16, 2026