Add support for f16 and f128 in float_to_int_unchecked intrinsic#3701

zhassan-aws merged 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

zhassan-aws:float-to-int-f16-f128zhassan-aws/kani:float-to-int-f16-f128Copy head branch name to clipboard