Skip to content

Challenge 23: Verify Vec Part1 safety with Kani#598

Open
v3risec wants to merge 2 commits into
model-checking:mainfrom
v3risec:challenge-23-vec-part1
Open

Challenge 23: Verify Vec Part1 safety with Kani#598
v3risec wants to merge 2 commits into
model-checking:mainfrom
v3risec:challenge-23-vec-part1

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

Annotations

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