Skip to content

Update to Rust edition 2024#4197

Merged
tautschnig merged 7 commits intomodel-checking:mainfrom
tautschnig:toolchain-2025-07-03-manual
Jul 4, 2025
Merged

Update to Rust edition 2024#4197
tautschnig merged 7 commits intomodel-checking:mainfrom
tautschnig:toolchain-2025-07-03-manual

Commits

Commits on Jul 3, 2025