Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics - #618

Challenge 2 (partial): safety contracts + verification for 15 of 20 raw-pointer core::intrinsics#618

ivmat wants to merge 7 commits into

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

ivmat:challenge-2-intrinsics-memoryivmat/verify-rust-std:challenge-2-intrinsics-memoryCopy head branch name to clipboard