Skip to content

Enable Kani to work with a stable toolchain#3964

Merged
tautschnig merged 3 commits into
model-checking:mainfrom
zhassan-aws:stable-align
Mar 28, 2025
Merged

Enable Kani to work with a stable toolchain#3964
tautschnig merged 3 commits into
model-checking:mainfrom
zhassan-aws:stable-align

Update kani-compiler/src/main.rs

d8d43d9
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs