search

aya-prover / aya-dev

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

Refactor of jit-compiler #1074

Closed HoshinoTented closed 5 months ago

HoshinoTented commented 5 months ago

This PR removes some useless abstraction of jit-compiler and makes AbstractSerializer smaller.

codecov[bot] commented 5 months ago

Codecov Report

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

Project coverage is 77.41%. Comparing base (ff36150) to head (19fb978). Report is 1 commits behind head on main.

Files Patch % Lines
.../src/main/java/org/aya/compiler/SourceBuilder.java 89.01% 8 Missing and 2 partials :warning:
.../main/java/org/aya/compiler/PatternSerializer.java 63.63% 4 Missing :warning:
...main/java/org/aya/compiler/PatternExprializer.java 90.90% 2 Missing :warning:
...rc/main/java/org/aya/compiler/TermExprializer.java 96.42% 2 Missing :warning:
...main/java/org/aya/compiler/AbstractSerializer.java 91.66% 0 Missing and 1 partial :warning:
...rc/main/java/org/aya/compiler/ExprializeUtils.java 92.85% 1 Missing :warning:
...c/main/java/org/aya/compiler/ModuleSerializer.java 50.00% 1 Missing :warning:
Additional details and impacted files ```diff @@ Coverage Diff @@ ## main #1074 +/- ## ============================================ + Coverage 76.86% 77.41% +0.54% - Complexity 3079 3093 +14 ============================================ Files 287 289 +2 Lines 9635 9634 -1 Branches 1118 1119 +1 ============================================ + Hits 7406 7458 +52 + Misses 1599 1546 -53 Partials 630 630 ```

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