Remove `assess` subcommand#4111

Merged

tautschnig merged 6 commits intomodel-checking:mainfrom

carolynzech:remove-assess

Jun 11, 2025

Commits on May 27, 2025

remove assess
Carolyn Zech
committed
remove dead code
Carolyn Zech
committed
refactor cargokani_main now that assess is gone
Carolyn Zech
committed
remove codegen_tests and compiler code for tests reachability mode
Carolyn Zech
committed

Commits on Jun 4, 2025

Merge branch 'main' into remove-assess
Carolyn Zech
authored

Commits on Jun 10, 2025

Merge branch 'main' into remove-assess
Carolyn Zech
committed