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.14.0
Partial orders, VC gen, rust-analyzer
·
4min
Creusot 0.14.0
Creusot 0.12.0
"If it compiles, it is correct." more than ever.
·
6min
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.
·
5min
Creusot 0.11.0: VerifyThis winner
Creusot 0.10.0: February update
Assumptions, workspaces, and nightly shenanigans
·
4min
Creusot 0.10.0: February update
Creusot 0.9.0: Launching the Creusot Devlog
Creusot at POPL, tutorial, and more!
·
5min
Creusot 0.9.0: Launching the Creusot Devlog