Contracts and Harnesses for <*mut T>::add, sub and offset#113

feliperodri merged 32 commits into

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

stogaru:verify/ptr_mutstogaru/verify-rust-std:verify/ptr_mutCopy head branch name to clipboard