Skip to content

feat: multi-trace induction — infer a parameterized program (params/loops/branches) from multiple demos, reject-if-underdetermined#81

Merged
abrichr merged 3 commits into
mainfrom
feat/multi-trace-induction
Jul 13, 2026
Merged

feat: multi-trace induction — infer a parameterized program (params/loops/branches) from multiple demos, reject-if-underdetermined#81
abrichr merged 3 commits into
mainfrom
feat/multi-trace-induction

Merge remote-tracking branch 'origin/main' into feat/multi-trace-indu…

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

Annotations

1 warning
test
succeeded Jul 13, 2026 in 19m 34s