Add Flux tool description and CI workflow#403

Merged

carolynzech merged 5 commits intomodel-checking:mainfrom

flux-rs:flux-submission

Jul 16, 2025

Commits on Jul 2, 2025

Add Flux

ranjitjhala
authored and
nilehmann
committed
Add workflow
nilehmann
committed
Add Flux entry to the book

ranjitjhala
authored and
nilehmann
committed
Add comments to flux_info.rs
nilehmann
committed

Commits on Jul 7, 2025

Add caveats section + ub vs panic
nilehmann
committed