Code

Add cvec matching in egglog#77

Code

Draft

ninehusky wants to merge 9 commits intomainninehusky/chompy:mainfrom ninehusky-cvec-match-in-egglogninehusky/chompy:ninehusky-cvec-match-in-egglogCopy head branch name to clipboard

+652-747

Commits

Commits on Jan 30, 2025

• Initial Egglog definitions

  ninehusky

  committed
  831e9e5

  Copy full SHA for 831e9e5

Commits on Jan 31, 2025

• Add more Egglog code; delete concretization stuff

  ninehusky

  committed
  a9a8445

  Copy full SHA for a9a8445

• Get rid of predicate interpreter

  ninehusky

  committed
  f52e2b4

  Copy full SHA for f52e2b4

• Update Egglog version

  ninehusky

  committed
  f04b2f7

  Copy full SHA for f04b2f7

• Initial try at re-implementing funky cvec

  ninehusky

  committed
  b0ee40a

  Copy full SHA for b0ee40a

Commits on Feb 1, 2025

• Unoptimized cvec matching

  ninehusky

  committed
  b436ebc

  Copy full SHA for b436ebc

Commits on Feb 3, 2025

• Refactor egglog src to folder

  ninehusky

  committed
  6c255fc

  Copy full SHA for 6c255fc

• Checkpoint

  ninehusky

  committed
  a3ce20d

  Copy full SHA for a3ce20d

Commits on Feb 4, 2025

• Implement conditional cvec matching in Egglog

  ninehusky

  committed
  361bf02

  Copy full SHA for 361bf02