search

formal-land / coq-of-rust

Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make applications with no bugs! ✈️ 🚀 ⚕️ 🏦
GNU Affero General Public License v3.0
418 stars 14 forks source link

Like "`verify_instr` simulation" PR with rebase #592

Closed clarus closed 2 months ago

clarus commented 2 months ago

Like the PR #590 but with a rebase on the main branch.

clarus commented 2 months ago

Closing as this is like https://github.com/formal-land/coq-of-rust/pull/590 that is merged already.