All pull requests

Pull requests

• Update docs/examples dependencies

  #2265·renovate[bot] opened Oct 13, 2026Bot·1 task·

  ·

• Update dependency org.ow2.asm:asm to v9.11

  #2264·renovate[bot] opened Oct 13, 2026Bot·1 task·

  ·

• Update dependency com.google.googlejavaformat:google-java-format to v1.37.0

  #2263·renovate[bot] opened Oct 13, 2026Bot·1 task·

  ·

• Update cimg/base Docker tag to v2026.10

  #2262·renovate[bot] opened Oct 13, 2026Bot·1 task·

  ·

• Compute tree positions without the SourcePositions methods JDK 27 deprecates

  #2257·wmdietl opened Oct 12, 2026Member·

  ·
  1

• Run the Initialization Checker without @PolyInitialized if it is missing

  #2256·wmdietl opened Oct 12, 2026Member·

  ·
  1

  1

• Do not search supertypes when viewpoint-adapting an already-substituted type

  #2255·wmdietl opened Oct 12, 2026Member·

  ·
  1

  1

• Reduce a capture variable against its upper bound for a class type

  #2254·wmdietl opened Oct 11, 2026Member·

  ·
  1

  1

• Include the type arguments of enclosing types in type argument inference

  #2253·wmdietl opened Oct 11, 2026Member·

  ·
  1

  1

• Add spring.astub for Spring's null-guard utility methods

  #2182·matthewd-so opened Sep 28, 2026·

  ·
  2

• Add read-write dynamic qualifiers to check unannotated field writes

  #2062·aosen-xiong opened Sep 12, 2026Collaborator·

  ·
  1

• Copy-on-Write AnnotatedTypeMirror prototype

  #1837·wmdietl opened Jun 23, 2026Member·

  ·

• Preserve stable field refinements in lambdas

  #1828·aosen-xiong opened Jun 20, 2026Collaborator·

  ·
  1

• Add @IfNullThrows parameter annotation and unify with AssertMethod in CFG

  #1566·HenryXi1 opened Mar 2, 2026·

  ·
  7

  

• Add @NonNullIfReturn: parameter-level conditional postcondition for nullness

  #1530·HenryXi1 opened Feb 10, 2026·

  ·
  9

  

• Fixes-issue-1411: Extract a reusable test harness with Driver and CodeGenerator abstractions

  #1424·zyf265600 opened Oct 7, 2025·

  ·
  1

• Allow users to specify annotated jdk path

  #1423·YutongZhuu opened Oct 6, 2025·

  ·
  7

  

• Add IntelliJ profiler usage guide to developer manual

  #1348·zyf265600 opened Jul 21, 2025·

  ·

• New Onboarding Doc for Future URA Student

  #1344·zyf265600 opened Jul 18, 2025·

  ·
  2

  

• Fail fast for ErroneousTree

  #1255·aosen-xiong opened Jun 11, 2025Collaborator·

  ·
  1

• Fix: typecheck framework with nullness

  #1222·aosen-xiong opened May 14, 2025Collaborator·

  ·
  1

  1

  

• Viewpoint test checker: lost receiver invoke poly receiver method

  #1173·aosen-xiong opened Apr 5, 2025Collaborator·

  ·
  20

  

• Implement PolyNull with element value

  #1157·aosen-xiong opened Mar 19, 2025Collaborator·

  ·
  1

  2

• Typecheck jdk with nullness checker

  #1145·aosen-xiong opened Mar 13, 2025Collaborator·

  ·
  4

• Move PICO to EISOP

  #1013·aosen-xiong opened Dec 9, 2024Collaborator·

  ·
  45