Skip to content

Merge branch 'model-checking:main' into challenge-23-vec-part1

f58d684
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Open

Challenge 23: Verify Vec Part1 safety with Kani #598

Merge branch 'model-checking:main' into challenge-23-vec-part1
f58d684
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
Test testable simd models
succeeded Jun 7, 2026 in 5m 5s