Kani 0.35.0 has been released!

Kani is an open-source verification tool that uses model checking to analyze Rust programs. Kani is particularly useful for verifying unsafe code blocks in Rust, where the "unsafe superpowers" are unchecked by the compiler.

Here is a summary of what is new in Kani 0.35.0

What's Changed

• Add support to simd_bitmask
  by @celinval in #2677
• Add integer overflow checking for simd_div
  and simd_rem
  by @reisnera in #2645
• Bump CBMC version by @zhassan-aws in #2702
• Upgrade Rust toolchain to 2023-08-19 by @zhassan-aws in #2696

Full Changelog: kani-0.34.0...kani-0.35.0