kani-0.26.0

github-actions released this 19 Apr 16:57

· 889 commits to main since this release

270bac3

Kani Rust verifier release bundle version 0.26.0.

What's Changed

Enable Concrete Playback Unit tests to run with --cfg kani by @jaisnan in #2353
Propogate solver options into synthesizer by @qinheping in #2320
Docs: Add an "Attributes" section by @adpaco-aws in #2359
Upgrade Rust toolchain to nightly-2023-02-18 by @tautschnig in #2384
Bump CBMC version by @karkhaz in #2388

Full Changelog: kani-0.25.0...kani-0.26.0

Contributors

tautschnig, karkhaz, and 3 other contributors

Assets 5