Skip to content

fix: negate the result when folding 0 - x - #123

Merged
amol- merged 1 commit into
posit-dev:mainfrom
Sanjays2402:fix/fold-zeros-subtract-negate
Aug 10, 2026
Merged

amol- merged 1 commit into
posit-dev:mainfrom
Sanjays2402:fix/fold-zeros-subtract-negate

Commits

Commits on Aug 5, 2026