Skip to content

Few minor fixes and optimization - #367

Merged
mwillsey merged 3 commits into
egraphs-good:mainfrom
fereidani:main
Jul 19, 2026
Merged

Few minor fixes and optimization#367
mwillsey merged 3 commits into
egraphs-good:mainfrom
fereidani:main

fix: optimize Extractor to avoid unnecessary clones in `make_pass` an…

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

Annotations

1 warning
test
succeeded Jul 13, 2026 in 1m 32s