kani-0.50.0

github-actions released this 18 Apr 00:14

· 31 commits to main since this release

Major Changes

Fix compilation issue with proc_macro2 (v1.0.80+) and Kani v0.49.0 (#3138).

What's Changed

Implement valid value check for write_bytes by @celinval in #3108
Rust toolchain upgraded to 2024-04-15 by @tautschnig @celinval

Full Changelog: kani-0.49.0...kani-0.50.0

Contributors

tautschnig and celinval

Assets 6