Skip to content

kani-0.2.0
Compare
Choose a tag to compare
@github-actions github-actions released this 17 May 21:23
kani-0.2.0
c7c0c4f
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Kani 0.2 (2022-05-17)

  • Kani now installs on Ubuntu 18.04 without needing a newer version of Python. (Minimum requirement reduced to Python 3.6, thanks to updating to cbmc-viewer 3.2.) #1171 (There may be a new issue installing on Ubuntu 18.04 besides the need for a newer Python.)
  • Fixed the bug that prevented Kani from building crates with a build.rs. #1187
  • cargo kani --version now works outside of a crate. #1192
  • The version of Rust nightly Kani uses is now nightly-2022-05-03. #1181
  • cargo kani setup will work even if it has already been performed. #1193
  • Kani now supports comparing pointers to slices and flags code that relies on unstable vtable comparison. #1195
Assets 4
Loading