Enable target features: x87 and sse2#4062

carolynzech merged 2 commits into

model-checking:mainmodel-checking/kani:mainfrom

thanhnguyen-aws:addfeaturethanhnguyen-aws/kani:addfeatureCopy head branch name to clipboard