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

Update Viper to v-2024-02-01-0836 #1491

Closed fpoli closed 5 months ago

fpoli commented 5 months ago

Let's try to upgrade just Viper.

fpoli commented 5 months ago

At least two tests fail. They seem incompletenesses related to slices or quantifiers.

fpoli commented 5 months ago

We'll try again when a new release of viper-ide is available.