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: [email protected]

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

Wormhole

[email protected]

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.

2 users / day
57 users / week
579 users / month
1.73K users / 6 months
1 local subscriber
5.94K subscribers
832 Posts
3.27K Comments
Modlog