search

AlgebraicJulia / GATlab.jl

GATlab: a computer algebra system based on generalized algebraic theories (GATs)
https://algebraicjulia.github.io/GATlab.jl/
MIT License
21 stars 2 forks source link

Egraphs are back #125

Closed olynch closed 5 months ago

codecov[bot] commented 8 months ago

Codecov Report

Attention: 312 lines in your changes are missing coverage. Please review.

Comparison is base (1ee1536) 96.61% compared to head (a6709d8) 82.60%. Report is 1 commits behind head on main.

:exclamation: Current head a6709d8 differs from pull request most recent head 75dc28e. Consider uploading reports for the commit 75dc28e to get more accurate results

Files Patch % Lines
src/syntax/egraphs/ematching.jl 0.00% 141 Missing :warning:
src/syntax/egraphs/east.jl 0.00% 131 Missing :warning:
src/syntax/egraphs/extraction.jl 0.00% 22 Missing :warning:
src/syntax/egraphs/algebraic.jl 0.00% 18 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #125 +/- ## =========================================== - Coverage 96.61% 82.60% -14.01% =========================================== Files 38 39 +1 Lines 2067 2231 +164 =========================================== - Hits 1997 1843 -154 - Misses 70 388 +318 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.