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

Refactor scopes #115

Closed kris-brown closed 9 months ago

kris-brown commented 9 months ago

We are making big changes.

kris-brown commented 9 months ago

did someone say Theory Maps?

codecov[bot] commented 9 months ago

Codecov Report

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

Comparison is base (ee4bf10) 96.74% compared to head (76cbd99) 96.20%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #115 +/- ## ========================================== - Coverage 96.74% 96.20% -0.54% ========================================== Files 28 34 +6 Lines 1690 1873 +183 ========================================== + Hits 1635 1802 +167 - Misses 55 71 +16 ``` | [Files](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/115?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/models/SymbolicModels.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/115?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9TeW1ib2xpY01vZGVscy5qbA==) | `97.46% <100.00%> (+0.09%)` | :arrow_up: | | [src/models/module.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/115?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/theories/module.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/115?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi90aGVvcmllcy9tb2R1bGUuamw=) | `100.00% <ø> (ø)` | | | [src/syntax/ExprInterop.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/115?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9FeHBySW50ZXJvcC5qbA==) | `100.00% <100.00%> (ø)` | | | [src/syntax/GATContexts.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/115?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9HQVRDb250ZXh0cy5qbA==) | `100.00% <100.00%> (ø)` | | | [src/syntax/GATs.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/115?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9HQVRzLmps) | `100.00% <ø> (+3.33%)` | :arrow_up: | | [src/syntax/TheoryInterface.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/115?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9UaGVvcnlJbnRlcmZhY2Uuamw=) | `96.55% <100.00%> (+0.47%)` | :arrow_up: | | [src/syntax/module.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/115?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9tb2R1bGUuamw=) | `100.00% <ø> (ø)` | | | [src/models/ModelInterface.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/115?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9Nb2RlbEludGVyZmFjZS5qbA==) | `99.13% <98.71%> (+0.82%)` | :arrow_up: | | [src/models/Presentations.jl](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/115?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9QcmVzZW50YXRpb25zLmps) | `98.95% <98.95%> (ø)` | | | ... and [7 more](https://app.codecov.io/gh/AlgebraicJulia/GATlab.jl/pull/115?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.