[Duplicated]Move - Simulations - Interpreter

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

Closed InfiniteEchoes closed 2 months ago

InfiniteEchoes commented 2 months ago

Implement move-vm-runtime::interpreter::Interperter and InstrRet for #593 .

InfiniteEchoes commented 2 months ago

Closed as duplicated