Creusot: Releases & Devlog

announcements
1

We've just started a devlog for the Creusot project, a deductive verifier for Rust. If you're a fan of formal methods for Rust, I hope you'll find it interesting.

2

I'm pleased to announce the release of Creusot 0.10.0. A few small features and a story about keeping up with the rustc API:

3

I'm pleased to announce the release of Creusot 0.11.0. Highlights:

  • We have a new website! https://creusot.rs It is easy-to-find place for all resources related to Creusot.
  • The Creusot team won at VerifyThis, a yearly program verification competition.