egraphs-good/egglog - CodSpeed

egglog

Blog Docs Changelog

Performance History

Latest Results

correct direction on union

oflatt-proofs-encoding

1 day ago

oflatt-proofs-encoding

1 day ago

not sure what's happening with database size

oflatt-proofs-encoding

1 day ago

some tests failing due to weird merge fns

oflatt-proofs-encoding

1 day ago

oflatt-proofs-encoding

1 day ago

oflatt-proofs-encoding

1 day ago

oflatt-proofs-encoding

1 day ago

better error msg

oflatt-proofs-7

3 days ago

Active Branches

Term encoding of egglog, which could make proofs easier

last run

1 day ago

-15%

last run

3 days ago

-5%

Specify that extractor does not support DAG costs

last run

3 days ago

0%

© 2025 CodSpeed Technology

Home Terms Privacy Docs