Search results

CFI crashes on generic conditional expression in nested generic class

Status: Open.

#474 In opprop/checker-framework-inference;

· aosen-xiong opened on Jun 25, 2026

Annotation-tools' dependency org.plumelib:options version update

Status: Open.

#436 In opprop/checker-framework-inference;

· aosen-xiong opened on Jan 24, 2024

Add support to install lithium automatically

Status: Open.

#433 In opprop/checker-framework-inference;

· aosen-xiong opened on Dec 7, 2023

No VarAnnot insert if reserve class order

Status: Open.

#432 In opprop/checker-framework-inference;

· aosen-xiong opened on Dec 2, 2023

Miss locations for variable declaration inside method

Status: Open.

#431 In opprop/checker-framework-inference;

· aosen-xiong opened on Dec 2, 2023

OutOfMemory error raised when running Junit test

Status: Open.

#418 In opprop/checker-framework-inference;

· AndrewShf opened on Apr 7, 2023

getDefaultAnnotation() stores the wrong default

Status: Open.

#404 In opprop/checker-framework-inference;

· piyush-J opened on Jun 27, 2022

VariableSlot.getLocation() is nullable

Status: Open.

#383 In opprop/checker-framework-inference;

· zcai1 opened on Feb 9, 2022

JSON serializer/deserializer for arithmetic/comparison constraints

Status: Open.

#378 In opprop/checker-framework-inference;

· d367wang opened on Jan 24, 2022

InferenceTransfer caching

Status: Open.

#374 In opprop/checker-framework-inference;

· wmdietl opened on Dec 23, 2021

Remove Slot.getKind method

Status: Open.

#350 In opprop/checker-framework-inference;

· zcai1 opened on Aug 18, 2021

Slots inappropriately created for type variable use within type parameter declaration

Status: Open.

#347 In opprop/checker-framework-inference;

· d367wang opened on Jul 30, 2021