RFC for List Subcommand#3463

Merged

carolynzech merged 8 commits intomodel-checking:mainfrom

carolynzech:list-rfc

Sep 3, 2024

Commits on Aug 23, 2024

list rfc wip
Carolyn Zech
committed

Commits on Aug 27, 2024

list rfc v0
Carolyn Zech
committed
add rationale
Carolyn Zech
committed
add other issue link
Carolyn Zech
committed

Commits on Aug 30, 2024

address first round of PR comments
Carolyn Zech
committed
Merge branch 'main' into list-rfc
Carolyn Zech
authored

Commits on Sep 3, 2024

file version and add filtering open question
Carolyn Zech
committed
Merge branch 'main' into list-rfc
Carolyn Zech
authored