Skip to content

Challenge 8: bounded Kani proofs of SmallSort memory safety and sorting correctness, with helper contracts - #752

Open
Tiramisu-Cake wants to merge 1 commit into
model-checking:mainfrom
Tiramisu-Cake:submission/ch8-smallsort
Open

Challenge 8: bounded Kani proofs of SmallSort memory safety and sorting correctness, with helper contracts#752
Tiramisu-Cake wants to merge 1 commit into
model-checking:mainfrom
Tiramisu-Cake:submission/ch8-smallsort

Commits

  1. Commits on Nov 7, 2026