Creusot 0.14.0 release - Contracts for Rust, formally proved
- Rust: 51 events in the last 90 days
- Previous: earlier the same day · Keep calm and call clone with Rust
What happened
We are pleased to announce the release of version 0.14.0 of Creusot , our formal verification tool for Rust.
Summary assembled by rule from the sources below