Skip to content

kani-0.1.0
Compare
Choose a tag to compare
@github-actions github-actions released this 03 May 23:26
kani-0.1.0
1a61de2
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.1 (2022-05-03)

  • First release!
  • Supported features:
    • Proof harnesses (#[kani::proof])
    • Unwind annotations (#[kani::unwind(3)])
    • Assume statements (kani::assume(boolean-expr))
    • Symbolic values (kani::any::<T>() and kani::AnySlice)
    • Arbitrary and Invariant types (kani::Arbitrary and kani::Invariant)
    • Counterexample extraction (--visualize)
    • Cargo integration (cargo kani)
    • Reachability check
Assets 4
Loading