Skip to content

kani-0.5.0
Compare
Choose a tag to compare
@github-actions github-actions released this 28 Jun 20:29
kani-0.5.0
92e5889
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 Rust verifier release bundle version 0.5.0.

What's Changed

  • Detect VSCode Remote-SSH when using --visualize and recommend its port-forwarding feature by @tedinski in #1292
  • Add support for installing on NixOS by @tedinski in #1298
  • Bump to CBMC 5.60 by @tedinski in #1305

Full Changelog: kani-0.4.0...kani-0.5.0

Contributors

tedinski
Assets 4
Loading