Add support for float_to_int_unchecked#3660

Merged

zhassan-aws merged 12 commits intomodel-checking:mainfrom zhassan-aws:float-to-int-intrinsic

Nov 6, 2024

+640-1

Commits on Oct 30, 2024

Commits on Nov 5, 2024

Merge branch 'main' into float-to-int-intrinsic
zhassan-aws
committed

Commits on Nov 6, 2024