Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns) - #681

Challenge 25: Verify the safety of VecDeque (unbounded, symbolic ring layouts, contracts on all 13 unsafe fns)#681

jrey8343 wants to merge 2 commits into

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

jrey8343:challenge-25-vecdequejrey8343/verify-rust-std:challenge-25-vecdequeCopy head branch name to clipboard