Inference devel launcher

typetools / checker-framework-inference

Inference of pluggable types for Java

10 stars 33 forks source link

Closed CharlesZ-Chen closed 8 years ago

CharlesZ-Chen commented 8 years ago

Create new InferenceDevelLauncher class for developers

CharlesZ-Chen commented 8 years ago

I found this PR contains some non-related commits from pascaliUWat. Thus I close this one and will submit another clean one.