Support for fast math intrinsics#804

adpaco-aws merged 9 commits intomodel-checking:mainmodel-checking/kani:mainfrom

adpaco-aws:fast-mathadpaco-aws/rmc:fast-mathCopy head branch name to clipboard