Bump Kani version to 0.61.0#3989

Merged

carolynzech merged 4 commits intomodel-checking:mainfrom

carolynzech:kani-version-0.61.0

Apr 4, 2025

Commits on Apr 3, 2025

Bump Kani to 0.61.0
Carolyn Zech
committed

Commits on Apr 4, 2025

remove stable toolchain mention; add human contribs to toolchain upgrade
Carolyn Zech
committed
bump toolchain date
Carolyn Zech
committed
Merge branch 'main' into kani-version-0.61.0
Carolyn Zech
authored