Unify CnfIntVecSerializer between SPARTA and the main inference framework

typetools / checker-framework-inference

Inference of pluggable types for Java

10 stars 33 forks source link

Closed wmdietl closed 8 years ago

wmdietl commented 8 years ago

Main change is unifying the two copies of CnfIntVecSerializer. Many import and whitespace cleanups.