Add support to array-based SIMD#2633

celinval merged 3 commits into

model-checking:mainmodel-checking/kani:mainfrom

celinval:issue-2253-simd-arraycelinval/kani-dev:issue-2253-simd-arrayCopy head branch name to clipboard