Major/Breaking Changes

• Remove obsolete linker options (--mir-linker and --legacy-linker) by @zhassan-aws in #3559
• List Subcommand by @carolynzech in #3523
• Deprecate kani::check by @celinval in #3557

What's Changed

• Enable stubbing and function contracts for primitive types by @celinval in #3496
• Instrument validity checks for pointer to reference casts for slices and str's by @zhassan-aws in #3513
• Fail compilation if proof_for_contract is added to generic function by @carolynzech in #3522
• Fix storing coverage data in cargo projects by @adpaco-aws in #3527
• Add experimental API to generate arbitrary pointers by @celinval in #3538
• Running verify-std no longer changes Cargo files by @celinval in #3577
• Add an LLBC backend by @zhassan-aws in #3514
• Fix the computation of the number of bytes of a pointer offset by @zhassan-aws in #3584
• Rust toolchain upgraded to nightly-2024-10-03 by @qinheping @tautschnig @celinval
• CBMC upgraded to 6.3.1 by @tautschnig in #3537

Full Changelog: kani-0.55.0...kani-0.56.0