Branches - egraphs-good/egglog

Branches performance

Pull requests

last run

1 hour ago

Fix web demo escaping Fixes https://github.com/egraphs-good/egglog/issues/551 by using `textContent` instead of `innerHTML` in the web demo so that content is properly escaped. As [recommended by MDN](https://developer.mozilla.org/en-US/docs/Web/API/Element/innerHTML#security_considerations)

2 hours ago

0231aca

web-demo-safety

Reuse Extractor whenever possible #563

last run

6 hours ago

nits

6 hours ago

3570c8e

yihozhang-extraction-cache

+31%

Report errors when union-ing non-eqsort values at typechecking time #561