Contracts and Harnesses for `<*const T>::byte_add`, `byte_sub` and `byte_offset`#177

stogaru wants to merge 4 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

stogaru:verify/ptr_const_bytestogaru/verify-rust-std:verify/ptr_const_byteCopy head branch name to clipboard