What's new in Creusot?

Devlog of the Creusot deductive verifier for Rust. The Creusot team is part of Laboratoire Méthodes Formelles.