Kani Rust Model Checker 0.32 Release

github.com

Kani Rust Model Checker 0.32 Release

github.com

Arbitrary@lemmy.fmhy.ml to

Rust@programming.dev · 1 year ago

Release kani-0.32.0 · model-checking/kani

github.com

What's Changed Add kani::spawn and an executor to the Kani library by @fzaiser in #1659 Add "kani" configuration key to enable conditional compilation in build scripts by @celinval in #2297 Adds p...

You must log in or register to comment.

Chat

Rust@programming.dev

rust@programming.dev

Create a post

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !rust@programming.dev

Welcome to the Rust community! This is a place to discuss about the Rust programming language.

Wormhole

!performance@programming.dev

Credits

The icon is a modified version of the official rust logo (changing the colors to a gradient and black background)

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

4 users / day
201 users / week
406 users / month
1.65K users / 6 months
78 local subscribers
6.01K subscribers
875 Posts
3.67K Comments
Modlog