Simulation on `type_safety` and general `Move-sui`, part 2

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 3 months ago

InfiniteEchoes commented 3 months ago

Continuation of #578 .

Translated all TypeSafetyChecker's impl functions
Added some dependencies along the way
General chores: comments, formats, code reordering
A small template for mutual dependency experiment that currently has nothing inside