Prusti | Lancern's Treasure Chest

10:26 · Oct 14, 2022 · Fri

Prusti: Static Analyzer for Rust https://github.com/viperproject/prusti-dev

GitHub - viperproject/prusti-dev: A static verifier for Rust, based on the Viper verification infrastructure.

GitHub - viperproject/prusti-dev: A static verifier for Rust, based on the Viper verification infrastructure.

A static verifier for Rust, based on the Viper verification infrastructure. - viperproject/prusti-dev

Powered by BroadcastChannel & Sepia