search

opprop / checker-framework-inference

Inference of pluggable types for Java
6 stars 13 forks source link

Features to enable PICO #442

Closed Ao-senXiong closed 6 months ago

Ao-senXiong commented 6 months ago

This https://github.com/opprop/checker-framework-inference/pull/412 can be closed after this PR.

Ao-senXiong commented 6 months ago

Closed to not use my CF with same branch name.