search

aya-prover / aya-dev

A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
278 stars 16 forks source link

Reorganize library, create `prelude` #1102

Closed ice1000 closed 3 months ago

ice1000 commented 3 months ago

Fix #728

codecov[bot] commented 3 months ago

Codecov Report

Attention: Patch coverage is 58.82353% with 7 lines in your changes missing coverage. Please review.

Project coverage is 78.94%. Comparing base (1ba8e70) to head (6f68ffd). Report is 1 commits behind head on main.

Files Patch % Lines
.../src/main/java/org/aya/syntax/ref/SeqLocalCtx.java 60.00% 2 Missing and 2 partials :warning:
...ain/java/org/aya/cli/interactive/ReplCompiler.java 33.33% 2 Missing :warning:
base/src/main/java/org/aya/tyck/error/Goal.java 0.00% 0 Missing and 1 partial :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1102 +/- ## ============================================ + Coverage 78.90% 78.94% +0.03% - Complexity 3221 3228 +7 ============================================ Files 293 293 Lines 9824 9833 +9 Branches 1163 1166 +3 ============================================ + Hits 7752 7763 +11 + Misses 1425 1421 -4 - Partials 647 649 +2 ```

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