Skip to content

Bump Kani version to 0.45.0#2984

Merged
qinheping merged 2 commits into
model-checking:mainfrom
qinheping:kani-0.45.0
Jan 24, 2024
Merged

Bump Kani version to 0.45.0#2984
qinheping merged 2 commits into
model-checking:mainfrom
qinheping:kani-0.45.0

Merge branch 'main' into kani-0.45.0

3a3a6bc
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs