Prusti Dev Versions Save

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

v-2024-03-26-1504

1 month ago

v-2024-03-06-1207

2 months ago

v-2024-03-01-2003

2 months ago

v-2024-03-01-2000

2 months ago

v-2024-02-29-1740

2 months ago

v-2024-02-29-1455

2 months ago

v-2024-02-28-1817

2 months ago

Prusti release using Rust nightly-2023-09-15 and Viper v-2024-02-01-0836.

v-2024-02-14-1219

3 months ago

v-2024-02-12-1546

3 months ago

v-2024-02-01-1444

3 months ago