Enable Kani to work with a stable toolchain#3964

Merged

tautschnig merged 3 commits intomodel-checking:mainfrom

zhassan-aws:stable-align

Mar 28, 2025

Commits on Mar 27, 2025

Commits on Mar 28, 2025

Update kani-compiler/src/main.rs

tautschnig
and
Carolyn Zech
authored