Code

Handle intrinsics systematically#3422

Code

Merged

artemagvanian merged 8 commits intomodel-checking:mainmodel-checking/kani:mainfrom artemagvanian:unify-intrinsicsartemagvanian/kani:unify-intrinsicsCopy head branch name to clipboardAug 9, 2024

+1,393-646

Commits

Commits on Aug 6, 2024

• Introduce a centralized Intrinsic enum

  artemagvanian

  committed
  54c7869

  Copy full SHA for 54c7869

• Merge branch 'main' into unify-intrinsics

  artemagvanian

  authored
  c4a8b7f

  Copy full SHA for c4a8b7f

• Switch to using centralized Intrinsic enum inside the uninitialized memory instrumentation

  artemagvanian

  committed
  8c0735d

  Copy full SHA for 8c0735d

Commits on Aug 8, 2024

• Merge branch 'main' into unify-intrinsics

  artemagvanian

  authored
  0dd5a7e

  Copy full SHA for 0dd5a7e

• Centralize intrinsic sanity checks

  artemagvanian

  committed
  98ecde1

  Copy full SHA for 98ecde1

Commits on Aug 9, 2024

• Move prefix matches into a separate case

  artemagvanian

  committed
  807e606

  Copy full SHA for 807e606

• Merge branch 'main' into unify-intrinsics

  artemagvanian

  authored
  8d0d9f3

  Copy full SHA for 8d0d9f3

• Group intrinsics into helper functions

  artemagvanian

  committed
  5b72799

  Copy full SHA for 5b72799