Bump prusti contracts version

viperproject / prusti-dev

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

http://prusti.org

Other

1.52k stars 103 forks source link

Closed JonasAlaif closed 10 months ago

JonasAlaif commented 10 months ago

Bump prusti contracts to indicate a breaking change

fpoli commented 10 months ago

Related issue: #1446