Skip to content

fix(fixpoint): matchfix termination check must descend into all call arguments - #1144

Merged
namasikanam merged 1 commit into
mainfrom
fix/matchfix-sibling-arg-termination
Oct 29, 2026
Merged

fix(fixpoint): matchfix termination check must descend into all call arguments#1144
namasikanam merged 1 commit into
mainfrom
fix/matchfix-sibling-arg-termination

Commits

  1. Commits on Oct 28, 2026