Bump Kani version to 0.60.0

[qinheping]

What's Changed

• Automatic cargo update to 2025-02-10 by @github-actions in Automatic cargo update to 2025-02-10 #3880
• Bump tests/perf/s2n-quic from 82dd0b5 to a5d8422 by @dependabot in Bump tests/perf/s2n-quic from 82dd0b5 to a5d8422 #3882
• Fast fail feature - Stops verification process as soon as one failure is observed - Use case : CI speed up by @rajath-mk in Fast fail feature - Stops verification process as soon as one failure is observed - Use case : CI speed up #3879
• Autoharness Subcommand by @carolynzech in Autoharness Subcommand #3874
• Upgrade toolchain to 2/10 by @carolynzech in Upgrade toolchain to 2/10 #3883
• Add loop-contracts doc to SUMMARY by @qinheping in Add loop-contracts doc to SUMMARY #3886
• Support concrete playback for arrays of length 65 or greater by @carolynzech in Support concrete playback for arrays of length 65 or greater #3888
• Automatic cargo update to 2025-02-17 by @github-actions in Automatic cargo update to 2025-02-17 #3889
• Bump tests/perf/s2n-quic from a5d8422 to 00e3371 by @dependabot in Bump tests/perf/s2n-quic from a5d8422 to 00e3371 #3894
• Adjust PropertyClass of assertions to identify UB by @tautschnig in Adjust PropertyClass of assertions to identify UB #3860
• Fix: regression test from Support concrete playback for arrays of length 65 or greater #3888 has version control change by @carolynzech in Fix: regression test from #3888 has version control change #3892
• Upgrade toolchain to 2025-02-11 by @thanhnguyen-aws in Upgrade toolchain to 2025-02-11 #3887
• Remove isize overflow check for zst offsets by @carolynzech in Remove isize overflow check for zst offsets #3897
• Automatic toolchain upgrade to nightly-2025-02-12 by @github-actions in Automatic toolchain upgrade to nightly-2025-02-12 #3898
• Upgrade the toolchain to 2025-02-21 by @zhassan-aws in Upgrade the toolchain to 2025-02-21 #3899
• Automatic cargo update to 2025-02-24 by @github-actions in Automatic cargo update to 2025-02-24 #3901
• Bump ncipollo/release-action from 1.15.0 to 1.16.0 by @dependabot in Bump ncipollo/release-action from 1.15.0 to 1.16.0 #3902
• Bump tests/perf/s2n-quic from 00e3371 to cfb314b by @dependabot in Bump tests/perf/s2n-quic from 00e3371 to cfb314b #3903
• Convert raw URL to link by @flba-eb in Convert raw URL to link #3907
• Automatic cargo update to 2025-03-03 by @github-actions in Automatic cargo update to 2025-03-03 #3913
• Install toolchain with rustup >= 1.28.0 by @tautschnig in Install toolchain with rustup >= 1.28.0 #3917
• Bump tests/perf/s2n-quic from cfb314b to d88faa4 by @dependabot in Bump tests/perf/s2n-quic from cfb314b to d88faa4 #3916
• Remove Ubuntu 20.04 CI usage by @tautschnig in Remove Ubuntu 20.04 CI usage #3918
• Move standard-library metrics script to verify-rust-std repo by @tautschnig in Move standard-library metrics script to verify-rust-std repo #3914
• scanner: Fix loop stats in overall function stats summary by @tautschnig in scanner: Fix loop stats in overall function stats summary #3915
• Update toolchain to 2025-03-02 by @remi-delmas-3000 in Update toolchain to 2025-03-02 #3911

New Contributors

• @flba-eb made their first contribution in Convert raw URL to link #3907

Full Changelog: kani-0.59.0...kani-0.60.0

[zhassan-aws]

We should add this PR as a breaking change:

Remove Ubuntu 20.04 CI usage by @tautschnig in
https://github.com/model-checking/kani/pull/3918

and this one to what's changed:

Support concrete playback for arrays of length 65 or greater by @carolynzech in
https://github.com/model-checking/kani/pull/3888

[carolynzech]

Also, I'd love if #3922 could get merged before this, now that I have an approval--I want to leave it open for a bit longer before merging in case anyone else on the team has input, but it'd be great to improve the UX of the feature before including it in an official release.

[zhassan-aws]

This still appears under "Breaking Changes". Please add it under a separate "Major Changes" section.