Code

Support user-defined scheduler#431

Code

Open

yihozhang wants to merge 9 commits intomainegraphs-good/egglog:mainfrom yihozhang-extensible-scheduleregraphs-good/egglog:yihozhang-extensible-schedulerCopy head branch name to clipboard

+878-463

Commits

Commits on Oct 3, 2024

• extensible schedules

  yihozhang

  committed
  f90f61f

  Copy full SHA for f90f61f

• checkpoint

  yihozhang

  committed
  ecb8fb8

  Copy full SHA for ecb8fb8

Commits on Oct 4, 2024

• Add with-scheduler

  Show description for 40d4711
  yihozhang

  committed
  40d4711

  Copy full SHA for 40d4711

• fix the scheduler

  yihozhang

  committed
  63f6ae4

  Copy full SHA for 63f6ae4

• fix seminaive

  yihozhang

  committed
  8395a80

  Copy full SHA for 8395a80

• fix names

  yihozhang

  committed
  c8e5aa9

  Copy full SHA for c8e5aa9

• nits

  yihozhang

  committed
  6ea25f0

  Copy full SHA for 6ea25f0

Commits on Oct 9, 2024

• Merge branch 'main' into yihozhang-extensible-scheduler

  yihozhang

  authored
  d4fdef4

  Copy full SHA for d4fdef4

• fix bad build

  yihozhang

  committed
  dd8bc67

  Copy full SHA for dd8bc67