kani-0.44.0

github-actions released this 09 Jan 19:34

· 343 commits to main since this release

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

Contributors

celinval, adpaco-aws, and zhassan-aws

Assets 6