Search results

JDK 26 <code>Process</code> implements <code>Closeable</code>

Status: Open.

#1509 In eisop/checker-framework;

· wmdietl opened on Jan 23, 2026

Change <code>@AnnotatedFor</code> retention to RUNTIME

Status: Open.

#1481 In eisop/checker-framework;

· thisisalexandercook opened on Jan 5, 2026

Annotations and checks for default visibility

Status: Open.

#1478 In eisop/checker-framework;

· wmdietl opened on Dec 30, 2025

See whether TheAlgorithms/Java would be a good benchmark or test

Status: Open.

#1461 In eisop/checker-framework;

· wmdietl opened on Dec 11, 2025

Issue warnings for code that can be optimized

Status: Open.

#1445 In eisop/checker-framework;

· wmdietl opened on Nov 20, 2025

Extract a reusable test harness with Driver and CodeGenerator abstractions

Status: Open.

#1411 In eisop/checker-framework;

· zyf265600 opened on Sep 29, 2025

Store boolean variables' refined annotations

Status: Open.

#1407 In eisop/checker-framework;

· byd110 opened on Sep 25, 2025

Abstract out the refinement step in transfer

Status: Open.

#1401 In eisop/checker-framework;

· byd110 opened on Sep 19, 2025

Add Mermaid CFG Visualizer alongside DOT implementation

Status: Open.

#1377 In eisop/checker-framework;

· zyf265600 opened on Aug 25, 2025

Introduce optimistic default

Status: Open.

#1359 In eisop/checker-framework;

· aosen-xiong opened on Jul 25, 2025

Field write under conservative default not working correctly

Status: Open.

#1358 In eisop/checker-framework;

· aosen-xiong opened on Jul 25, 2025

Initialization Checker performance

Status: Open.

#1326 In eisop/checker-framework;

· wmdietl opened on Jul 8, 2025