reach: new rust cli - #258

Open

zoogies wants to merge 6 commits into

feat/klee-binary-factsfrom

feat/reach-rust-cli

Commits on Aug 20, 2026

reach: scaffold new binary
zoogies
committed
922bb98
reach: vcpkg parsing progress
zoogies
committed
0961776
reach: import facts with facts_rs and build libreach graph
zoogies
committed
0547dac
reach: do reachability with libreach
zoogies
committed
28dabef
reach: write report
zoogies
committed
e762c44
reach: cleanup schema and add compat options
zoogies
committed
52f3b61