These are the original release notes for the reference:

What's Changed

• Automatic cargo update to 2024-02-26 by @github-actions in Automatic cargo update to 2024-02-26 #3043
• Upgrade rust toolchain to 2024-02-17 by @celinval in Upgrade rust toolchain to 2024-02-17 #3040
• Upgrade windows-targets crate to version 0.52.4 by @adpaco-aws in Upgrade windows-targets crate to version 0.52.4 #3049
• Fix codegen_atomic_binop for atomic_ptr by @qinheping in Fix codegen_atomic_binop for atomic_ptr #3047
• Upgrade Rust toolchain to nightly-2024-02-25 by @adpaco-aws in Upgrade Rust toolchain to nightly-2024-02-25 #3048
• Update s2n-quic submodule by @zhassan-aws in Update s2n-quic submodule #3050
• Update s2n-quic submodule weekly through dependabot by @zhassan-aws in Update s2n-quic submodule weekly through dependabot #3053
• Retrieve info for recursion tracker reliably by @feliperodri in Retrieve info for recursion tracker reliably #3045
• Automatic cargo update to 2024-03-04 by @github-actions in Automatic cargo update to 2024-03-04 #3055
• Upgrade Rust toolchain to nightly-2024-03-01 by @adpaco-aws in Upgrade Rust toolchain to nightly-2024-03-01 #3052
• Add --use-local-toolchain to Kani setup by @jaisnan in Add --use-local-toolchain to Kani setup #3056
• Replace internal reverse_postorder by a stable one by @celinval in Replace internal reverse_postorder by a stable one #3064
• Add option to override --crate-name from kani by @adpaco-aws in Add option to override --crate-name from kani #3054
• cargo update and fix macos CI by @zhassan-aws in cargo update and fix macos CI #3067
• Bump tests/perf/s2n-quic from d103836 to 1a7faa8 by @dependabot in Bump tests/perf/s2n-quic from d103836 to 1a7faa8 #3066
• Upgrade toolchain to 2024-03-11 by @zhassan-aws in Upgrade toolchain to 2024-03-11 #3071
• Emit dead goto-instructions on MIR StatementDead by @karkhaz in Emit dead goto-instructions on MIR StatementDead #3063

Full Changelog: kani-0.47.0...kani-0.48.0