viperproject/prusti-dev

This is stars and forks stats for /viperproject/prusti-dev repository. As of 28 Apr, 2024 this repository has 1345 stars and 91 forks.

Prusti Prusti is a prototype verifier for Rust, built upon the Viper verification infrastructure. By default Prusti verifies absence of integer overflows and panics, proving that statements such as unreachable!() and panic!() are unreachable. Overflow checking can be disabled with a configuration flag, treating all integers as unbounded. In Prusti, the functional behaviour of functions and external libraries can be specified by using annotations, among which are preconditions, postconditions, and...