Github generated release notes:

What's Changed

• Automatic toolchain upgrade to nightly-2025-01-08 by @github-actions in Automatic toolchain upgrade to nightly-2025-01-08 #3821
• Automatic cargo update to 2025-01-13 by @github-actions in Automatic cargo update to 2025-01-13 #3824
• Automatic toolchain upgrade to nightly-2025-01-09 by @github-actions in Automatic toolchain upgrade to nightly-2025-01-09 #3825
• Bump ncipollo/release-action from 1.14.0 to 1.15.0 by @dependabot in Bump ncipollo/release-action from 1.14.0 to 1.15.0 #3826
• Bump tests/perf/s2n-quic from ac52a48 to adc7ba9 by @dependabot in Bump tests/perf/s2n-quic from ac52a48 to adc7ba9 #3827
• Automatic toolchain upgrade to nightly-2025-01-10 by @github-actions in Automatic toolchain upgrade to nightly-2025-01-10 #3828
• Automatic toolchain upgrade to nightly-2025-01-11 by @github-actions in Automatic toolchain upgrade to nightly-2025-01-11 #3830
• Verify contracts/stubs for generic types with multiple inherent implementations by @carolynzech in Verify contracts/stubs for generic types with multiple inherent implementations #3829
• Update Charon submodule by @thanhnguyen-aws in Update Charon submodule  #3823
• Automatic toolchain upgrade to nightly-2025-01-12 by @github-actions in Automatic toolchain upgrade to nightly-2025-01-12 #3831
• Automatic toolchain upgrade to nightly-2025-01-13 by @github-actions in Automatic toolchain upgrade to nightly-2025-01-13 #3833
• Upgrade toolchain to 2025-01-15 by @tautschnig in Upgrade toolchain to 2025-01-15 #3835
• Automatic toolchain upgrade to nightly-2025-01-16 by @github-actions in Automatic toolchain upgrade to nightly-2025-01-16 #3836
• Add a regression test for no_std feature by @carolynzech in Add a regression test for no_std feature #3837
• Use fully-qualified name for size_of by @zhassan-aws in Use fully-qualified name for size_of #3838
• Automatic cargo update to 2025-01-20 by @github-actions in Automatic cargo update to 2025-01-20 #3842
• Bump tests/perf/s2n-quic from adc7ba9 to f0649f9 by @dependabot in Bump tests/perf/s2n-quic from adc7ba9 to f0649f9 #3844
• Upgrade toolchain to nightly-2025-01-22 by @tautschnig in Upgrade toolchain to nightly-2025-01-22 #3843
• Remove DefKind::Ctor from filtering crate items by @carolynzech in Remove DefKind::Ctor from filtering crate items #3845
• Enable valid_ptr post_condition harnesses by @tautschnig in Enable valid_ptr post_condition harnesses #3847
• Update build command in docs to use release mode by @zhassan-aws in Update build command in docs to use release mode #3846
• Automatic toolchain upgrade to nightly-2025-01-23 by @github-actions in Automatic toolchain upgrade to nightly-2025-01-23 #3848
• Automatic toolchain upgrade to nightly-2025-01-24 by @github-actions in Automatic toolchain upgrade to nightly-2025-01-24 #3850
• Remove the openssl-devel package from dependencies by @zhassan-aws in Remove the openssl-devel package from dependencies #3852
• Fix validity checks for char by @celinval in Fix validity checks for char #3853
• Bump tests/perf/s2n-quic from f0649f9 to 4500593 by @dependabot in Bump tests/perf/s2n-quic from f0649f9 to 4500593 #3857
• Automatic cargo update to 2025-01-27 by @github-actions in Automatic cargo update to 2025-01-27 #3856
• Deprecate --enable-unstable and --restrict-vtable by @celinval in Deprecate --enable-unstable and --restrict-vtable #3859
• Stub linker to avoid missing symbols errors by @celinval in Stub linker to avoid missing symbols errors #3858
• Toolchain upgrade to nightly-2025-01-28 by @feliperodri in Toolchain upgrade to nightly-2025-01-28 #3855
• Allow multiple annotations, but check for duplicate targets. by @remi-delmas-3000 in Allow multiple annotations, but check for duplicate targets. #3808
• Move documentation of kani_core modules to right places by @qinheping in Move documentation of kani_core modules to right places #3851
• Fix missing function declaration issue by @celinval in Fix missing function declaration issue #3862
• Fix transmute codegen when sizes are different by @celinval in Fix transmute codegen when sizes are different #3861
• Remove symtab2gb from bundle by @zhassan-aws in Remove symtab2gb from bundle #3865
• Update the rustc hack for CLion / RustRover by @celinval in Update the rustc hack for CLion / RustRover #3868
• Bump tests/perf/s2n-quic from 4500593 to 82dd0b5 by @dependabot in Bump tests/perf/s2n-quic from 4500593 to 82dd0b5 #3872
• Automatic cargo update to 2025-02-03 by @github-actions in Automatic cargo update to 2025-02-03 #3869
• Add reference for loop contracts by @qinheping in Add reference for loop contracts #3849
• remove flag float-overflow-check by @rajath-mk in remove flag float-overflow-check #3873

New Contributors

• @rajath-mk made their first contribution in remove flag float-overflow-check #3873

Full Changelog: kani-0.58.0...kani-0.59.0

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.