Refactor#421

Draft

theron-wang wants to merge 39 commits intonjit-jerse:mainfrom

theron-wang:refactor

Commits on Jul 11, 2025

upgrade to latest versions
theron-wang
committed

Commits on Jul 15, 2025

Commits on Jul 18, 2025

Commits on Jul 21, 2025

add handling for conditionals + operator in type guessing
theron-wang
committed

Commits on Jul 24, 2025

Commits on Jul 25, 2025

fix some bugs
theron-wang
committed

Commits on Jul 28, 2025

more bug fixes + test case updates
theron-wang
committed

Commits on Jul 29, 2025

Commits on Jul 30, 2025

Commits on Aug 1, 2025

bug fixes + short review changes
theron-wang
committed

Commits on Aug 4, 2025

add support for type arguments
theron-wang
committed

Commits on Aug 6, 2025

Commits on Aug 8, 2025

Commits on Aug 11, 2025

stop crashing for cases with solvable lambda constraint types
theron-wang
committed

Commits on Aug 13, 2025

small fixes and add additional test cases based on #423
theron-wang
committed

Commits on Aug 14, 2025

super type relationships + bug fixes
theron-wang
committed

Commits on Aug 15, 2025

Commits on Aug 19, 2025

address pr comments and start adding method reference support
theron-wang
committed

Commits on Aug 22, 2025

Commits on Sep 1, 2025

fix must implement methods
theron-wang
committed

Commits on Sep 23, 2025

must implement methods should generate in unsolved class + private outer classes should make a method parameter be java.lang.Object
theron-wang
committed

Commits on Nov 6, 2025

Merge branch 'main' of https://github.com/njit-jerse/specimin into refactor
theron-wang
committed

Commits on Nov 7, 2025

include methods that are implemented but referenced by an abstract super call, account for abstract overrides, and fix anonymous class handling
theron-wang
committed