search

AlgebraicJulia / AlgebraicRewriting.jl

Implementations of algebraic rewriting techniques like DPO, SPO, SqPO.
https://algebraicjulia.github.io/AlgebraicRewriting.jl/
MIT License
25 stars 5 forks source link

Improve literate docs for LV #49

Closed kris-brown closed 7 months ago

kris-brown commented 7 months ago

This PR addresses https://github.com/AlgebraicJulia/AlgebraicRewriting.jl/issues/45 for the LV model (not the Game of Life model).

codecov[bot] commented 7 months ago

Codecov Report

Attention: Patch coverage is 98.75000% with 2 lines in your changes are missing coverage. Please review.

Project coverage is 85.94%. Comparing base (1ef331a) to head (cc74664). Report is 15 commits behind head on main.

Files Patch % Lines
src/incremental/Incremental.jl 98.71% 2 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #49 +/- ## ========================================== + Coverage 85.30% 85.94% +0.63% ========================================== Files 31 31 Lines 1926 2020 +94 ========================================== + Hits 1643 1736 +93 - Misses 283 284 +1 ```

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