search

AlgebraicJulia / GATlab.jl

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

Compute graphs #160

Open olynch opened 2 months ago

olynch commented 2 months ago

Currently, I've just outlined the data structures.

codecov[bot] commented 2 months ago

Codecov Report

Attention: Patch coverage is 89.99009% with 101 lines in your changes missing coverage. Please review.

Project coverage is 84.37%. Comparing base (bd3df8e) to head (13a5cee).

Files Patch % Lines
src/syntax/gats/ast.jl 84.56% 23 Missing :warning:
src/syntax/gats/algorithms.jl 77.90% 19 Missing :warning:
src/util/Dtrys.jl 95.15% 11 Missing :warning:
src/nonstdlib/dynamics/ResourceSharers.jl 94.79% 9 Missing :warning:
src/models/ComputeGraphs.jl 0.00% 8 Missing :warning:
src/util/MyActive.jl 81.81% 6 Missing :warning:
src/models/ModelInterface.jl 86.48% 5 Missing :warning:
src/util/SumTypes.jl 94.62% 5 Missing :warning:
src/syntax/gats/exprinterop.jl 93.84% 4 Missing :warning:
src/syntax/TheoryInterface.jl 93.02% 3 Missing :warning:
... and 4 more
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #160 +/- ## ========================================== - Coverage 93.85% 84.37% -9.49% ========================================== Files 38 42 +4 Lines 2229 2873 +644 ========================================== + Hits 2092 2424 +332 - Misses 137 449 +312 ```

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