Skip to content

Releases: viperproject/prusti-dev

Release v-2021-11-22-1738

22 Nov 17:38
@github-actions github-actions
v-2021-11-22-1738
4dfd34d
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v-2021-11-22-1738

Prusti release using the Rust toolchain nightly-2021-11-15.

Assets 5
Loading

Release v-2021-09-22-1237

22 Sep 12:37
@github-actions github-actions
v-2021-09-22-1237
f10c42e
Compare
Choose a tag to compare
Release v-2021-09-22-1237

Prusti release using the Rust toolchain nightly-2021-09-2.

Assets 5
Loading

Release v-2021-03-01-1237

01 Mar 12:37
@github-actions github-actions
v-2021-03-01-1237
87cf7ac
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v-2021-03-01-1237

Prusti release using the Rust toolchain nightly-2021-02-24.

Assets 5
Loading

Release v-2020-07-27-1200

06 Oct 15:44
@fpoli fpoli
v-2020-07-27-1200
c9a4407
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
Release v-2020-07-27-1200

Prusti release using the Rust toolchain nightly-2018-06-27.

Assets 5
Loading