Version 3.51.0 (2025-09-10)
User-visible changes:
If you supply --add-exports flags when you run the Checker Framework, you need to add:
--add-exports=jdk.compiler/com.sun.tools.javac.parser=ALL-UNNAMED.
Implementation details:
In CFGVisualizeOptions:
- renamed
isPDF()toisPdfOutput() - renamed
isString()toisStringOutput()
Dataflow Framework:
- In
playgroundpackage, renamed*Playground.javato*Pdf.java
Closed issues: