search

typetools / checker-framework-inference

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

Simplify InferenceSolution, improve Serializer type safety, formatting fixes. #23

Closed wmdietl closed 8 years ago