Repository navigation

Model SIMD pointer lanes as integers of the same width - #4869

Merged

feliperodri merged 3 commits into

model-checking:mainfrom

feliperodri:fix-4867-simd-ptr-elements

Sep 29, 2026

Merged

Model SIMD pointer lanes as integers of the same width#4869
feliperodri merged 3 commits into
model-checking:mainfrom
feliperodri:fix-4867-simd-ptr-elements

Commits on Sep 25, 2026
- Model SIMD pointer lanes as integers of the same width
  feliperodri
  committed
  358828e
- Cast the integer lane back to a pointer in `simd_extract`
  feliperodri
  committed
  72c864d
Commits on Sep 29, 2026
- Update kani-compiler/src/codegen_cprover_gotoc/codegen/typ.rs
  
  feliperodri
  and
  tautschnig
  authored
  7982dd3