opprop / checker-framework-inference

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

eisop release 3.25.0-eisop1 #408

Closed wmdietl closed 1 year ago