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 · 2 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.

29 users / day
104 users / week
339 users / month
2.59K users / 6 months
35 local subscribers
7.27K subscribers
1.08K Posts
4.93K Comments
Modlog