Code

Smarter helper rules#682

Code

Draft

yihozhang wants to merge 7 commits intomainegraphs-good/eggcc:mainfrom yihozhang-smaller-egraphegraphs-good/eggcc:yihozhang-smaller-egraphCopy head branch name to clipboard

+573-479

Commits

Commits on Nov 23, 2024

• first attemp

  yihozhang

  committed
  803957f

  Copy full SHA for 803957f

• test

  yihozhang

  committed
  d01478b

  Copy full SHA for d01478b

• small fix

  yihozhang

  committed
  c28d700

  Copy full SHA for c28d700

Commits on Nov 25, 2024

• fix subtuple generator

  yihozhang

  committed
  bea0e22

  Copy full SHA for bea0e22

• fix test

  yihozhang

  committed
  db81b98

  Copy full SHA for db81b98

• revert memory.rs change

  yihozhang

  committed
  421d256

  Copy full SHA for 421d256

• big regression it seems?

  yihozhang

  committed
  c91f879

  Copy full SHA for c91f879