Issues

• Add gradle target and format source code using Google Java Format

  typetools/checker-framework-inference#94 · Filter by author jyluo opened on Jan 23, 2019
  3

• Intellij support for checker framework inference

  typetools/checker-framework-inference#93 · Filter by author shashiranjan opened on Jan 10, 2019
  1

• Create a checker-inference-qual.jar file

  typetools/checker-framework-inference#80 · Filter by author wmdietl opened on May 29, 2018

• Creating and checking constraints in ConstraintManager

  typetools/checker-framework-inference#31 · Filter by author Jianchu opened on Jun 3, 2016

• OsTrusted String concatenation test fails

  typetools/checker-framework-inference#26 · Filter by author wmdietl opened on Apr 23, 2016

• Null pointer exception with Collection

  typetools/checker-framework-inference#24 · Filter by author Jianchu opened on Apr 18, 2016
  1

• Check that inference for annotations on Class declarations is implemented correctly

  typetools/checker-framework-inference#11 · Filter by author smillst opened on Nov 16, 2015
  1

• Annotations on class declaration extends

  typetools/checker-framework-inference#10 · Filter by author smillst opened on Nov 16, 2015
  1

• Add refinement variables for compound assignments

  enhancement
  typetools/checker-framework-inference#9 · Filter by author smillst opened on Oct 23, 2015
  1

  

• Inference error in scenario involving enums and generics

  bug
  typetools/checker-framework-inference#6 · Filter by author jthaine opened on Oct 14, 2015
  2