Creusot 0.14.0 release - Contracts for Rust, formally proved
Summary
Creusot 0.14.0 release announces support for partial orders, adds logic verification condition (VC) generation for snapshots, and improves rust-analyzer integration for Pearlite specifications. The post includes code examples and explanations of how these features impact Rust formal verification workflows and IDE navigation.