Repository navigation

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

Commits on Mar 28, 2026
- Challenge 8: Verify safety and sorting correctness of SmallSort
  
  Samuelsills
  and
  claude
  committed
  26382a9
- Fix formatting: collapse function calls to single lines
  
  Samuelsills
  and
  claude
  committed
  996fe10
- Add safety contracts and sorting correctness proofs
  
  Samuelsills
  and
  claude
  committed
  9b30791
- Fix formatting: import order and function call wrapping
  
  Samuelsills
  and
  claude
  committed
  f2db144
- Fix remaining multi-line function calls
  
  Samuelsills
  and
  claude
  committed
  a53ea95