Skip to content

[opt] Simplify or_reduce(neg(x)) => or_reduce(x)#3639

Open
cdleary wants to merge 1 commit intogoogle:mainfrom
xlsynth:cdleary/2025-12-31-or-reduce-neg
Open

[opt] Simplify `or_reduce(neg(x)) => or_reduce(x)`#3639
cdleary wants to merge 1 commit intogoogle:mainfrom
xlsynth:cdleary/2025-12-31-or-reduce-neg

Commits

Commits on Jan 1, 2026