egraphs-good/egglog - CodSpeed

egglog

Blog Docs Changelog

Performance History

Latest Results

Merge pull request #613 from egraphs-good/more-literals-in-prelude Include more literals in prelude

main

8 days ago

Include more literals

more-literals-in-prelude

9 days ago

Merge pull request #610 from egraphs-good/backend-rename Update Cargo.toml, use new names

main

9 days ago

Update toml to main

backend-rename

9 days ago

Update Cargo.toml, use new names

backend-rename

9 days ago

Merge pull request #609 from aDotInTheVoid/str-extend-from-within Use `String::extend_from_within` in `TermDag::to_string`

main

9 days ago

Use `String::extend_from_within` in `TermDag::to_string` Followup to https://github.com/egraphs-good/egglog/pull/496. This method wasn't stable at the time, but now is.

aDotInTheVoid:str-extend-from-within

9 days ago

Update Cargo.toml, use new names

backend-rename

9 days ago

Active Branches

Reuse Extractor whenever possible

last run

29 days ago

+31%

Egglog proof format and checker

last run

1 month ago

0%

[Proposal/RFC] Encoding partially applied functions

last run

2 months ago

0%

© 2025 CodSpeed Technology

Home Terms Privacy Docs