More on `type_safety`, Part 4 - Githubissues

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

More on `type_safety`, Part 4 #587

Closed InfiniteEchoes closed 2 months ago

InfiniteEchoes commented 2 months ago

Plans:

[x] Implement AbilitySet and its functions
[x] Implement CompiledModule and its functions
[x] Implement functions in TypeSafetyChecker
[x] Split verify_instr into collaborative small tasks

Misc tasks left:

[ ] Integrate the CompiledModule functions with adequate monads?
[x] Compile type_safety so that it passes the CI