viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

Home Page:http://prusti.org

Repository from Github https://github.comviperproject/prusti-devRepository from Github https://github.comviperproject/prusti-dev

viperproject/prusti-dev Stargazers