Skip to content

fix(expressions): bound the DNF expansion in rewrite_to_dnf - #3995

Merged
Fokko merged 1 commit into
apache:mainfrom
Rodrigo-Palma:fix/bound-dnf-expansion
Sep 18, 2026
Merged

Fokko merged 1 commit into
apache:mainfrom
Rodrigo-Palma:fix/bound-dnf-expansion

Commits

Commits on Sep 18, 2026