kani-0.52.0
·
363 commits
to main
since this release
What's Changed
- New section about linter configuraton checking in the doc by @remi-delmas-3000 in #3198
- Fix
{,e}println!()by @GrigorenkoPV in #3209 - Contracts for a few core functions by @celinval in #3107
- Add simple API for shadow memory by @zhassan-aws in #3200
- Upgrade Rust toolchain to 2024-05-28 by @zhassan-aws @remi-delmas-3000 @qinheping
Full Changelog: kani-0.51.0...kani-0.52.0
Contributors
remi-delmas-3000, qinheping, and 3 other contributors