Checker Framework v2.11.1 Release Notes

Release Date: 2019-10-01 // 14 days ago
  • 🔖 Version 2.11.1, October 1, 2019

    The manual links to the Object Construction Checker.

    Closed issues:
    1635, 2718, 2767.


Previous changes from v2.11.0

  • 🔖 Version 2.11.0, August 30, 2019

    The Checker Framework now uses the Java 9 javac API. The manual describes
    how to satisfy this dependency, in a way that works on a Java 8 JVM.
    ⚙ Running the Checker Framework on a Java 9 JVM is not yet supported.