Commits

History for

Commits on Sep 5, 2026

Bump Rust toolchain version to `1.98.0` and fix rlimit errors (#824)

Catoverflow
and
claude
authored
2edac69

Commits on Jul 28, 2026

Unpin verus version (#819)

Catoverflow
and
claude
authored
aa757c8

Commits on Jun 9, 2026

update Rust toolchain to 1.96 (#803)
Catoverflow
authored
8761fb1

Commits on Apr 19, 2026

Use the most recent Verus release in controller build CI (#794)
Catoverflow
authored
52741e8

Commits on Apr 16, 2026

Use the most recent version of Verus in CI (#789)
Catoverflow
authored
4fbff88

Commits on Dec 10, 2025

Bump Verus Release to 0.2025.11.30.840fa61 (#712)
Catoverflow
authored
a65d68c

Commits on Jul 8, 2025

Update Verus version to Release/0.2025.07.05.8bd7c32 (#664)
Catoverflow
authored
bc9d621

Commits on Feb 11, 2025

Update to newest verus version (#588)
ahuoguo
authored
f2741cb

Commits on May 30, 2024

Upgrade Verus version (#484)
marshtompsxd
authored
258faf7

Commits on Dec 19, 2023

Bump Verus version (#444)
marshtompsxd
authored
b10e8d1

Commits on Oct 17, 2023

Upgrade Verus version for time-expanded feature (#354)
marshtompsxd
authored
130f102

Commits on Apr 13, 2023

Migrate to Verus main_new (#92)
tchajed
authored
eb9ef16

Loading