Creusot 0.14.0 release - Contracts for Rust, formally proved
- Rust 近 90 天出现 52 次
- 上一次：同一天稍早 · Keep calm and call clone with Rust
发生了什么
We are pleased to announce the release of version 0.14.0 of Creusot , our formal verification tool for Rust.
摘要按规则整理自下方来源原文