Add support for f16 and f128 in float_to_int_unchecked intrinsic#3701
Merged
zhassan-aws merged 3 commits intomodel-checking:mainfrom zhassan-aws:float-to-int-f16-f128Nov 12, 2024
+295-20
Commits
Commits on Nov 9, 2024
Commits on Nov 11, 2024
- committed