Code

Fix the Herbie egraphs so make works#45

Code

Merged

mwillsey merged 1 commit intoegraphs-good:mainegraphs-good/extraction-gym:mainfrom pavpanchekha:add-herbiepavpanchekha/extraction-gym:add-herbieCopy head branch name to clipboardNov 8, 2024

+18-18

Commits

Commits on Oct 11, 2024

• Chidlren of enodes should be other enodes, not eclasses. Fixed egraphs-good#44

  pavpanchekha

  committed
  7ec08be