Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

USVM-based type inference #279

Merged
merged 122 commits into from
Dec 25, 2024
Merged

USVM-based type inference #279

merged 122 commits into from
Dec 25, 2024

Conversation

Lipen
Copy link
Member

@Lipen Lipen commented Nov 25, 2024

This PR adds latest development related to USVM-based type inference support.

@Lipen Lipen requested a review from CaelmBleidd November 25, 2024 09:50
Copy link
Contributor

github-actions bot commented Nov 25, 2024

Lifecycle test results

78 tests  ±0   78 ✅ ±0   2m 39s ⏱️ +57s
 7 suites ±0    0 💤 ±0 
 7 files   ±0    0 ❌ ±0 

Results for commit f7ee59b. ± Comparison against base commit 52750de.

♻️ This comment has been updated with latest results.

Copy link
Contributor

github-actions bot commented Nov 25, 2024

Test results on JDK 19

 69 files  + 3   69 suites  +3   4m 38s ⏱️ +27s
552 tests +20  542 ✅ +18  10 💤 +2  0 ❌ ±0 
580 runs  +20  570 ✅ +18  10 💤 +2  0 ❌ ±0 

Results for commit f7ee59b. ± Comparison against base commit 52750de.

♻️ This comment has been updated with latest results.

Copy link

codecov bot commented Nov 25, 2024

Codecov Report

Attention: Patch coverage is 26.21528% with 425 lines in your changes missing coverage. Please review.

Project coverage is 69.42%. Comparing base (8b8750d) to head (f7ee59b).
Report is 4 commits behind head on neo.

Files with missing lines Patch % Lines
...kotlin/org/jacodb/ets/graph/EtsApplicationGraph.kt 0.00% 98 Missing ⚠️
...ets/src/main/kotlin/org/jacodb/ets/base/EtsType.kt 18.00% 40 Missing and 1 partial ⚠️
...rc/main/kotlin/org/jacodb/ets/utils/LoadEtsFile.kt 23.91% 31 Missing and 4 partials ⚠️
...-ets/src/main/kotlin/org/jacodb/ets/dto/Convert.kt 69.64% 24 Missing and 10 partials ⚠️
...db-ets/src/main/kotlin/org/jacodb/ets/dto/Types.kt 30.61% 31 Missing and 3 partials ⚠️
...rc/main/kotlin/org/jacodb/ets/model/EtsModifier.kt 2.85% 34 Missing ⚠️
...re/src/main/kotlin/org/jacodb/impl/cfg/GraphExt.kt 0.00% 24 Missing ⚠️
.../src/main/kotlin/org/jacodb/ets/utils/EtsCfgExt.kt 0.00% 22 Missing ⚠️
...c/main/kotlin/org/jacodb/ets/model/EtsBaseModel.kt 0.00% 17 Missing ⚠️
...-ets/src/main/kotlin/org/jacodb/ets/utils/Utils.kt 0.00% 15 Missing ⚠️
... and 16 more
Additional details and impacted files
@@             Coverage Diff              @@
##                neo     #279      +/-   ##
============================================
- Coverage     70.75%   69.42%   -1.33%     
- Complexity     2404     2436      +32     
============================================
  Files           241      253      +12     
  Lines         13843    14690     +847     
  Branches       2035     2140     +105     
============================================
+ Hits           9794    10198     +404     
- Misses         3187     3610     +423     
- Partials        862      882      +20     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

Copy link
Contributor

github-actions bot commented Nov 25, 2024

Test results on JDK 11

 69 files  + 3   69 suites  +3   5m 8s ⏱️ +26s
552 tests +20  544 ✅ +18  8 💤 +2  0 ❌ ±0 
580 runs  +20  572 ✅ +18  8 💤 +2  0 ❌ ±0 

Results for commit f7ee59b. ± Comparison against base commit 52750de.

♻️ This comment has been updated with latest results.

Copy link
Contributor

github-actions bot commented Nov 25, 2024

Test results on JDK 8

 69 files  + 3   69 suites  +3   7m 35s ⏱️ + 3m 12s
552 tests +20  539 ✅ +18  13 💤 +2  0 ❌ ±0 
580 runs  +20  567 ✅ +18  13 💤 +2  0 ❌ ±0 

Results for commit f7ee59b. ± Comparison against base commit 52750de.

♻️ This comment has been updated with latest results.

@CaelmBleidd CaelmBleidd requested a review from Saloed November 29, 2024 13:28
@Lipen Lipen marked this pull request as ready for review November 29, 2024 14:38
@CaelmBleidd CaelmBleidd merged commit 7df406e into neo Dec 25, 2024
8 of 10 checks passed
@Lipen Lipen deleted the lipen/usvm-type-inference branch December 26, 2024 20:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants