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

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:mainmodel-checking/verify-rust-std:mainfrom

Tiramisu-Cake:submission/ch8-smallsortTiramisu-Cake/verify-rust-std:submission/ch8-smallsortCopy head branch name to clipboard