What's new in Creusot?
Devlog of the Creusot deductive verifier for Rust. The Creusot team is part of Laboratoire Méthodes Formelles.
Creusot 0.12.0
"If it compiles, it is correct." more than ever.
·
7min
Creusot 0.12.0
Creusot 0.11.0: VerifyThis winner
New website, our trip to ETAPS 2026, and one lesson: collections should not be iterators.
·
6min
Creusot 0.11.0: VerifyThis winner
Creusot 0.10.0: February update
Assumptions, workspaces, and nightly shenanigans
·
5min
Creusot 0.10.0: February update
Creusot 0.9.0: Launching the Creusot Devlog
Creusot at POPL, tutorial, and more!
·
6min
Creusot 0.9.0: Launching the Creusot Devlog