Start stabilizing `--jobs` and `list`; deprecate default memory checks#4108

Merged

carolynzech merged 9 commits intomodel-checking:mainfrom

carolynzech:deprecate

Jun 4, 2025

Commits on Jun 4, 2025

deprecate -Z unstable-options for --jobs
Carolyn Zech
committed
deprecate -Z list
Carolyn Zech
committed
deprecate default checks
Carolyn Zech
committed
fix cargo list tests to actually run cargo
Carolyn Zech
committed
tweak warning phrasing

Carolyn Zech
and
zhassan-aws
committed
fix typo & remove stale comment
Carolyn Zech
committed
print version that unstable feature was stabilized in
Carolyn Zech
committed
error unconditionally for enable-unstable
Carolyn Zech
committed
print version for deprecation too
Carolyn Zech
committed