Skip to content

Support simd_reduce_max and simd_reduce_min on integer lanes - #4934

Merged
feliperodri merged 6 commits into
model-checking:mainfrom
srivatsansamraj:simd-reduce-min-max
Oct 21, 2026
Merged

feliperodri merged 6 commits into
model-checking:mainfrom
srivatsansamraj:simd-reduce-min-max

Commits

  1. Commits on Oct 9, 2026

  2. Commits on Oct 13, 2026

  3. Commits on Oct 21, 2026