kani-0.40.0

github-actions released this 01 Nov 21:22

· 585 commits to main since this release

9b380e9

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

Contributors

qinheping, adpaco-aws, and jaisnan

Assets 6