Skip to content

Challenge 8: Verify safety and sorting correctness of SmallSort#576

Open
Samuelsills wants to merge 5 commits into
model-checking:mainfrom
Samuelsills:challenge-8-smallsort
Open

Challenge 8: Verify safety and sorting correctness of SmallSort#576
Samuelsills wants to merge 5 commits into
model-checking:mainfrom
Samuelsills:challenge-8-smallsort

Fix remaining multi-line function calls

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

Annotations

1 warning
upstream_test (macos-latest)
succeeded Mar 28, 2026 in 4m 31s