Code

Add support to array-based SIMD#2633

Code

Merged

celinval merged 3 commits intomodel-checking:mainmodel-checking/kani:mainfrom celinval:issue-2253-simd-arraycelinval/kani-dev:issue-2253-simd-arrayCopy head branch name to clipboardJul 31, 2023

+225-54

Commits

Commits on Jul 28, 2023

• Add support to array-based SIMD

  Show description for f794fe5
  celinval

  committed
  f794fe5

Commits on Jul 29, 2023

• Add comment + improve tests

  celinval

  committed
  bc70aa5

Commits on Jul 31, 2023

• Merge branch 'main' into issue-2253-simd-array

  celinval

  authored
  3e740ef