Code

Enable sqrt* intrinsics#3000

Code

Merged

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

+28-4

Commits

Commits on Feb 7, 2024

• Enable sqrt* intrinsics

  Show description for cd236fa
  tautschnig

  committed
  cd236fa

  Copy full SHA for cd236fa

Commits on Aug 1, 2024

• Merge branch 'main' into sqrt-intrinsics

  tautschnig

  authored
  96ad019

  Copy full SHA for 96ad019

Commits on Aug 2, 2024

• Don't run into early NaN

  tautschnig

  committed
  3708534

  Copy full SHA for 3708534

• Merge remote-tracking branch 'origin/main' into sqrt-intrinsics

  tautschnig

  committed
  f29f28c

  Copy full SHA for f29f28c

• Merge branch 'main' into sqrt-intrinsics

  tautschnig

  authored
  84c5024

  Copy full SHA for 84c5024