Sourced from org.checkerframework:checker's releases.

Checker Framework 3.51.0

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() to isPdfOutput()
• renamed isString() to isStringOutput()

Dataflow Framework:

• In playground package, renamed *Playground.java to *Pdf.java

Closed issues:

#7229, #7241, #7248, #7258.

Sourced from org.checkerframework:checker's changelog.

Version 3.51.0 (2025-09-10)

Implementation details:

In CFGVisualizeOptions:

• renamed isPDF() to isPdfOutput()
• renamed isString() to isStringOutput()

Dataflow Framework:

• In playground package, renamed *Playground.java to *Pdf.java

Closed issues:

#7229, #7241, #7248, #7258.

• f78f6fa new release 3.51.0
• 0a9cceb Prep for release.
• 8556f47 Growonly checker tests
• 1d0d3cd Fix bug in CFG construction for preincrement
• bdd6fcb Update example of message key substrings
• 692afc1 Fix typos
• 33b8815 Better error message when user omits an --add-exports (#7249)
• 91d5473 Remove file .flake8
• 60bbfa5 Use tasks.register
• ebff228 Update dependency org.projectlombok:lombok to v1.18.40 (#7247)
• Additional commits viewable in compare view

Sourced from org.checkerframework:checker-qual's releases.

Checker Framework 3.51.0

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() to isPdfOutput()
• renamed isString() to isStringOutput()

Dataflow Framework:

• In playground package, renamed *Playground.java to *Pdf.java

Closed issues:

#7229, #7241, #7248, #7258.

Sourced from org.checkerframework:checker-qual's changelog.

Version 3.51.0 (2025-09-10)

Implementation details:

In CFGVisualizeOptions:

• renamed isPDF() to isPdfOutput()
• renamed isString() to isStringOutput()

Dataflow Framework:

• In playground package, renamed *Playground.java to *Pdf.java

Closed issues:

#7229, #7241, #7248, #7258.

• f78f6fa new release 3.51.0
• 0a9cceb Prep for release.
• 8556f47 Growonly checker tests
• 1d0d3cd Fix bug in CFG construction for preincrement
• bdd6fcb Update example of message key substrings
• 692afc1 Fix typos
• 33b8815 Better error message when user omits an --add-exports (#7249)
• 91d5473 Remove file .flake8
• 60bbfa5 Use tasks.register
• ebff228 Update dependency org.projectlombok:lombok to v1.18.40 (#7247)
• Additional commits viewable in compare view

You can trigger Dependabot actions by commenting on this PR:

• @dependabot rebase will rebase this PR
• @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
• @dependabot merge will merge this PR after your CI passes on it
• @dependabot squash and merge will squash and merge this PR after your CI passes on it
• @dependabot cancel merge will cancel a previously requested merge and block automerging
• @dependabot reopen will reopen this PR if it is closed
• @dependabot close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
• @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
• @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor version (unless you reopen the PR or upgrade to it yourself)
• @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)