search

typetools / checker-framework-inference

Inference of pluggable types for Java
10 stars 33 forks source link

Adapt to Checker Framework changes. #76

Closed smillst closed 6 years ago

smillst commented 6 years ago

Merge at the same time as https://github.com/typetools/checker-framework/pull/1939.