Challenge 8 (partial): no-UB proofs and sorting-correctness harnesses for smallsort - #678

Challenge 8 (partial): no-UB proofs and sorting-correctness harnesses for smallsort#678

samiam713 wants to merge 2 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

samiam713:challenge-8-smallsortsamiam713/verify-rust-std:challenge-8-smallsortCopy head branch name to clipboard