Code

Thread-safe EGraph struct#517

Code

Merged

yihozhang merged 2 commits intomainegraphs-good/egglog:mainfrom yihozhang-thread-safe-egraphegraphs-good/egglog:yihozhang-thread-safe-egraphCopy head branch name to clipboardFeb 3, 2025

+28-19

Commits

Commits on Jan 31, 2025

• thread safe

  yihozhang

  committed
  f073ccc

  Copy full SHA for f073ccc

Commits on Feb 3, 2025

• simplify code

  yihozhang

  committed
  61f5adc

  Copy full SHA for 61f5adc