kani-0.45.0

Kani Rust verifier release bundle version 0.45.0.

What's Changed

• Upgrade toolchain to nightly-2024-01-17 by @celinval in #2976

Full Changelog: kani-0.44.0...kani-0.45.0

kani-0.44.0

Kani Rust verifier release bundle version 0.44.0.

What's Changed

• Rust toolchain upgraded to nightly-2024-01-08 by @adpaco-aws @celinval @zhassan-aws

Full Changelog: kani-0.43.0...kani-0.44.0

kani-0.43.0

Kani Rust verifier release bundle version 0.43.0.

What's Changed

• Rust toolchain upgraded to nightly-2023-12-14 by @tautschnig and @adpaco-aws

Full Changelog: kani-0.42.0...kani-0.43.0

kani-0.42.0

Kani Rust verifier release bundle version 0.42.0.

What's Changed

• Build CBMC from source and install as package on non-x86_64 by @bennofs in #2877 and #2878
• Emit suggestions and an explanation when CBMC runs out of memory by @JustusAdam in #2885
• Rust toolchain upgraded to nightly-2023-11-28 by @celinval

Full Changelog: kani-0.41.0...kani-0.42.0

kani-0.41.0

Kani Rust verifier release bundle version 0.41.0.

Breaking Changes

• Set minimum python to 3.7 in docker container and release action by @remi-delmas-3000 in #2879
• Delete any_slice which has been deprecated since Kani 0.38.0. by @zhassan-aws in #2860

What's Changed

• Make cover const by @jswrenn in #2867
• Change expect() from taking formatted strings to use unwrap_or_else() by @matthiaskrgr in #2865
• Fix setup for aarch64-unknown-linux-gnu platform by @adpaco-aws in #2864
• Do not override std library during playback by @celinval in #2852
• Rust toolchain upgraded to nightly-2023-11-11 by @zhassan-aws

Full Changelog: kani-0.40.0...kani-0.41.0

kani-0.40.0

Kani Rust verifier release bundle version 0.40.0.

What's Changed

• Ease setup in Amazon Linux 2 by @adpaco-aws in #2833
• Propagate backend options into goto-synthesizer by @qinheping in #2643
• Update CBMC version to 5.95.1 by @adpaco-aws in #2844
• Rust toolchain upgraded to nightly-2023-10-31 by @jaisnan @adpaco-aws

Full Changelog: kani-0.39.0...kani-0.40.0

kani-0.39.0

Kani Rust verifier release bundle version 0.39.0.

What's Changed

• Limit --exclude to workspace packages by @tautschnig in #2808
• Fix panic warning and add arbitrary Duration by @celinval in #2820
• Update CBMC version to 5.94 by @celinval in #2821
• Rust toolchain upgraded to nightly-2023-10-17 by @celinval @tautschnig

Full Changelog:
kani-0.38.0...kani-0.39.0

kani-0.38.0

Major Changes

• Deprecate any_slice by @zhassan-aws in #2789

What's Changed

• Provide better error message for invalid stubs by @JustusAdam in #2787
• Simple Stubbing with Contracts by @JustusAdam in #2746
• Avoid mismatch when generating structs that represent scalar data but also include ZSTs by @adpaco-aws in #2794
• Prevent kani crash during setup for first time by @jaisnan in #2799
• Create concrete playback temp files in source directory by @tautschnig in #2804
• Bump CBMC version by @zhassan-aws in #2796
• Update Rust toolchain to 2023-09-23 by @tautschnig in #2806

Full Changelog: kani-0.37.0...kani-0.38.0

kani-0.37.0

Kani Rust verifier release bundle version 0.37.0.

Major Changes

• Delete obsolete stubs for Vec and related options by @zhassan-aws in #2770
• Add support for the ARM64 Linux platform by @adpaco-aws in #2757

What's Changed

• Function Contracts: Support for defining and checking requires and ensures clauses by @JustusAdam in #2655
• Force any_vec capacity to match length by @celinval in #2765
• Fix expected value for pref_align_of under aarch64/macos by @remi-delmas-3000 in #2782
• Bump CBMC version to 5.92.0 by @zhassan-aws in #2771
• Upgrade to Kissat 3.1.1 by @zhassan-aws in #2756
• Rust toolchain upgraded to nightly-2023-09-19 by @remi-delmas-3000 @tautschnig

Full Changelog: kani-0.36.0...kani-0.37.0

kani-0.36.0

Kani Rust verifier release bundle version 0.36.0.

What's Changed

• Enable -Z stubbing and error out instead of ignoring stub by @celinval in #2678
• Enable concrete playback for failure of UB checks by @zhassan-aws in #2727
• Bump CBMC version to 5.91.0 by @adpaco-aws in #2733
• Rust toolchain upgraded to nightly-2023-09-06 by @celinval @jaisnan @adpaco-aws

Full Changelog: kani-0.35.0...kani-0.36.0