A static verifier for Rust, based on the Viper verification infrastructure.
Prusti release using Rust nightly-2023-09-15 and Viper v-2024-02-01-0836.
nightly-2023-09-15
v-2024-02-01-0836