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

Models next #67

Closed olynch closed 1 year ago

olynch commented 1 year ago

This isn't quite ready to merge yet, but I'd like to start getting more eyeballs on this as we move towards merging.

olynch commented 1 year ago

I want to merge this because it's in danger of become the "fix everything" PR, and I want to move back to smaller PRs.

codecov[bot] commented 1 year ago

Codecov Report

Patch coverage: 85.61% and project coverage change: +5.60 :tada:

Comparison is base (63761af) 75.28% compared to head (13207d8) 80.89%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #67 +/- ## ========================================== + Coverage 75.28% 80.89% +5.60% ========================================== Files 19 33 +14 Lines 1044 1052 +8 ========================================== + Hits 786 851 +65 + Misses 258 201 -57 ``` | [Impacted Files](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/67?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | Coverage Δ | | |---|---|---| | [src/dsl/Overloads.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/67?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL2RzbC9PdmVybG9hZHMuamw=) | `75.00% <ø> (ø)` | | | [src/models/ModelInterface.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/67?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL21vZGVscy9Nb2RlbEludGVyZmFjZS5qbA==) | `0.00% <0.00%> (ø)` | | | [src/models/module.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/67?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/ContextMaps.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/67?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvQ29udGV4dE1hcHMuamw=) | `68.42% <ø> (ø)` | | | [src/stdlib/models/module.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/67?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/Pushouts.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/67?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N5bnRheC9QdXNob3V0cy5qbA==) | `96.29% <ø> (+96.29%)` | :arrow_up: | | [src/syntax/module.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/67?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/util/module.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/67?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3V0aWwvbW9kdWxlLmps) | `100.00% <ø> (ø)` | | | [src/stdlib/models/FinMatrices.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/67?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvRmluTWF0cmljZXMuamw=) | `25.00% <25.00%> (ø)` | | | [src/stdlib/models/Rigs.jl](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/67?src=pr&el=tree&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia#diff-c3JjL3N0ZGxpYi9tb2RlbHMvUmlncy5qbA==) | `40.00% <40.00%> (ø)` | | | ... and [10 more](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/67?src=pr&el=tree-more&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=AlgebraicJulia) | | ... and [8 files with indirect coverage changes](https://app.codecov.io/gh/AlgebraicJulia/Gatlab.jl/pull/67/indirect-changes?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: Do you have feedback about the report comment? Let us know in this issue.