Nightly Release v-2024-03-26-1504

<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->

Nightly Release v-2024-03-06-1207

<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->

Nightly Release v-2024-03-01-2003

<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->

Nightly Release v-2024-03-01-2000

<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->

Nightly Release v-2024-02-29-1740

<!-- Automatically created nightly release: This release can safely be deleted by the nightly-release action -->

Release v-2024-02-28-1817

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

Release v-2023-08-22-1715

Prusti release using Rust nightly-2023-08-15 and Viper v4.2.2.

Release v-2023-06-30-1042

Prusti release using Rust nightly-2023-04-01 and Viper v-2023-05-17-0733.

Release v-2023-01-26-1935

Prusti release using Rust nightly-2023-01-15 and Viper v-2023-01-24-1437.

Release v-2022-10-05-0726

Prusti release using the Rust toolchain nightly-2022-09-18.