Code

Enable fma* intrinsics#3002

Code

Merged

tautschnig merged 4 commits intomodel-checking:mainmodel-checking/kani:mainfrom tautschnig:fma-intrinsicstautschnig/kani:fma-intrinsicsCopy head branch name to clipboardAug 2, 2024

+30-4

Commits

Commits on Feb 7, 2024

• Enable fma* intrinsics

  Show description for 641e110
  tautschnig

  committed
  641e110

  Copy full SHA for 641e110

Commits on Aug 1, 2024

• Merge branch 'main' into fma-intrinsics

  tautschnig

  authored
  0dc4a74

  Copy full SHA for 0dc4a74

Commits on Aug 2, 2024

• Merge branch 'main' into fma-intrinsics

  feliperodri

  authored
  b7547f6

  Copy full SHA for b7547f6

• Merge branch 'main' into fma-intrinsics

  tautschnig

  authored
  022396e

  Copy full SHA for 022396e