search

viperproject / prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.
http://prusti.org
Other
1.52k stars 102 forks source link

Try the new Viper release #1495

Closed fpoli closed 4 months ago

fpoli commented 4 months ago

This should not be merged. It's just to check Prusti using the new Viper release candidate.