Contracts & Harnesses for [f16, f128] to_int_unchecked#163

feliperodri merged 17 commits into

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

rajathkotyal:c-0011-core-nums-junfeng-f16-f128-to-int-uncheckedrajathkotyal/verify-rust-std:c-0011-core-nums-junfeng-f16-f128-to-int-uncheckedCopy head branch name to clipboard