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 · 3 years 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 # 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.

16 users / day
95 users / week
254 users / month
1.43K users / 6 months
9 local subscribers
7.96K subscribers
1.24K Posts
5.41K Comments
Modlog