Contracts and Harnesses for <*const T>::add, sub and offset#166

tautschnig merged 61 commits into

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

stogaru:verify/ptr_conststogaru/verify-rust-std:verify/ptr_constCopy head branch name to clipboard