List RFC (Second Review)#3489

Closed

carolynzech wants to merge 10 commits intomodel-checking:mainfrom

carolynzech:list-rfc

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

Commits on Sep 4, 2024

change human to pretty and fix kani version number
Carolyn Zech
committed
missed one human
Carolyn Zech
committed