Skip to content

unstable-subst: substitution over a reachable sub-e-graph - #60

Draft
oflatt-claude wants to merge 8 commits into
egraphs-good:mainfrom
oflatt-claude:unstable-subst
Draft

unstable-subst: substitution over a reachable sub-e-graph#60
oflatt-claude wants to merge 8 commits into
egraphs-good:mainfrom
oflatt-claude:unstable-subst

Track the reviewed egglog rev

d491322
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs