Skip to content

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

feliperodri merged 3 commits into
model-checking:mainfrom
feliperodri:fix-4867-simd-ptr-elements

Update kani-compiler/src/codegen_cprover_gotoc/codegen/typ.rs

7982dd3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 29, 2026 in 6s