Verify safety of Vec functions with VeriFast (Challenge 23) - #561

Verify safety of Vec functions with VeriFast (Challenge 23)#561

jrey8343 wants to merge 14 commits into

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

jrey8343:challenge-23-vec-pt1jrey8343/verify-rust-std:challenge-23-vec-pt1Copy head branch name to clipboard