Guard LogSimplify rewrites against domain narrowing (#2570)#2576

Merged

wsmoses merged 15 commits into

EnzymeAD:mainfrom

kimjune01:fix/logsimplify-domain-guards-2570

Jul 23, 2026

Commits on Jun 22, 2026

Guard LogSimplify rewrites against domain narrowing (#2570)
kimjune01
committed

Commits on Jul 9, 2026

Guard LogSimplify rewrites against domain narrowing (#2570)

kimjune01
authored and
vimarsh6739
committed

Commits on Jul 13, 2026

Commits on Jul 16, 2026

Commits on Jul 23, 2026

Update main2 CHECK for non_negative annotation on squared multiply
kimjune01
committed
LogSimplify: exclude infinite constants from log-splits
kimjune01
committed
Expect non_negative stamp on abs in main_square_nonneg CHECK
kimjune01
committed