Skip to content

Guards: Support disjunctive implications.#20826

Merged
aschackmull merged 4 commits intogithub:mainfrom
aschackmull:guards/disjunctive-implication
Nov 14, 2025
Merged

Guards: Support disjunctive implications.#20826
aschackmull merged 4 commits intogithub:mainfrom
aschackmull:guards/disjunctive-implication

Commits

Commits on Nov 12, 2025

Commits on Nov 14, 2025