egraphs-good/egglog - CodSpeed

egglog

Blog Docs Changelog

Performance History

Latest Results

Merge pull request #560 from RiscInside/iurii/exposed-union-find Make union-find struct externally accessible (for container implementation)

main

21 minutes ago

Merge pull request #561 from Alex-Fischman/union-types-fix Report errors when union-ing non-eqsort values at typechecking time

main

7 hours ago

Merge pull request #559 from Alex-Fischman/parser-fix Fix parser ignoring errors

main

7 hours ago

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

Alex-Fischman:union-types-fix

7 hours ago

Delete union_raw method

RiscInside:iurii/exposed-union-find

8 hours ago

oflatt-eggcc-benchmarks

9 hours ago

oflatt-eggcc-benchmarks

13 hours ago

oflatt-eggcc-benchmarks

13 hours ago

Active Branches

eggcc benchmarks

last run

9 hours ago

N/A

Egglog proof format and checker

last run

28 days ago

0%

[Proposal/RFC] Encoding partially applied functions

last run

28 days ago

0%

© 2025 CodSpeed Technology

Home Terms Privacy Docs