DevLobstersabout 2 hours ago
Creusot 0.14.0 Release Adds Rust Proofs
4 min read
The Creusot team announces the release of version 0.14.0, a formal verification tool for Rust. This update introduces partial orders and logic verification condition generation for snapshots. Additionally, the release enables Go-to-definition navigation within Pearlite specifications by integrating with rust-analyzer.
Level
Hype check
Tap to vote and see what everyone thinks.