AlgebraicJulia / GATlab.jl

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

GATExpr Utilities from Catlab #95

Closed olynch closed 11 months ago

codecov[bot] commented 11 months ago

Codecov Report

Patch coverage: 96.82% and project coverage change: +0.27% :tada:

Comparison is base (b912ea2) 96.55% compared to head (d26f4e7) 96.82%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #95 +/- ## ========================================== + Coverage 96.55% 96.82% +0.27% ========================================== Files 25 25 Lines 1334 1449 +115 ========================================== + Hits 1288 1403 +115 Misses 46 46 ``` | [Files Changed](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/95?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/models/module.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/95?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9tb2R1bGUuamw=) | `100.00% <ø> (ø)` | | | [src/stdlib/models/module.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/95?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvbW9kdWxlLmps) | `100.00% <ø> (ø)` | | | [src/syntax/ExprInterop.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/95?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9FeHBySW50ZXJvcC5qbA==) | `100.00% <ø> (+1.38%)` | :arrow_up: | | [src/syntax/Scopes.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/95?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9TY29wZXMuamw=) | `97.03% <ø> (-0.68%)` | :arrow_down: | | [src/syntax/TheoryInterface.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/95?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9UaGVvcnlJbnRlcmZhY2Uuamw=) | `97.95% <92.30%> (-2.05%)` | :arrow_down: | | [src/syntax/GATs.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/95?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9HQVRzLmps) | `96.10% <93.33%> (-0.23%)` | :arrow_down: | | [src/models/ModelInterface.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/95?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9Nb2RlbEludGVyZmFjZS5qbA==) | `97.63% <95.83%> (-0.46%)` | :arrow_down: | | [src/models/SymbolicModels.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/95?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9TeW1ib2xpY01vZGVscy5qbA==) | `97.36% <97.29%> (+6.06%)` | :arrow_up: | | [src/models/GATExprUtils.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/95?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9HQVRFeHByVXRpbHMuamw=) | `97.91% <97.91%> (ø)` | | | [src/syntax/TheoryMaps.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/95?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9UaGVvcnlNYXBzLmps) | `97.16% <100.00%> (ø)` | | | ... and [1 more](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/95?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | |

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