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

fix(fixpoint): matchfix termination check must descend into all call …

ea3b733
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
build
succeeded Oct 28, 2026 in 6m 5s