4 Branches 180 Tags

Name	Name	Last commit message	Last commit date
Latest commit mernst Output standard error as well as standard output Mar 11, 2025 b42e7f5 · Mar 11, 2025 History 19,172 Commits
.azure	.azure	Rename `_lts` to `_split` in CI jobs	Feb 6, 2025
.github	.github	Fix Renovate configuration	Jan 25, 2024
annotation-tools/annotation-file-utilities	annotation-tools/annotation-file-utilities	Add AFU `build.gradle` for dependabot	Mar 6, 2023
buildSrc/src/main/groovy	buildSrc/src/main/groovy	Update to Gradle 8.12	Jan 23, 2025
checker-qual-android	checker-qual-android	Fix Gradle deprecation warnings	Jan 23, 2025
checker-qual	checker-qual	Remove `@BinaryNameWithoutPackage`	Jan 12, 2025
checker-util	checker-util	Explain OutOfMemory error if it occurs	Jan 2, 2025
checker	checker	Use gradle-git-properties version 2.5.0	Mar 8, 2025
dataflow	dataflow	Fix Gradle deprecation warnings	Jan 23, 2025
docs	docs	Fix formatting	Mar 10, 2025
framework-test	framework-test	Use Error Prone 2.33.0	Oct 4, 2024
framework	framework	Improve diagnostics	Jan 30, 2025
gradle/wrapper	gradle/wrapper	Update dependency gradle to v8.13 (#6978 )	Feb 25, 2025
javacutil	javacutil	Introducing improved Optional Checker (#6901 )	Jan 10, 2025
.editorconfig	.editorconfig	Provide a method of declaring the location of test source fixtures; f…	Aug 17, 2023
.gitignore	.gitignore	Add `.factorypath` files to `.gitignore`	Mar 11, 2024
.lgtm.yml	.lgtm.yml	Gradle maintainers no longer recommend `--no-daemon` argument in CI (#…	Mar 17, 2022
.travis-build.sh	.travis-build.sh	Don't output lines of the script as they are read (it's too verbose)	Jan 7, 2025
.travis.yml	.travis.yml	Use Ubuntu 24.10 and JDK 23	Nov 20, 2024
CONTRIBUTING.md	CONTRIBUTING.md	Change label name	Nov 12, 2022
LICENSE.txt	LICENSE.txt	Capitalization fix	May 10, 2021
README.md	README.md	Change label name	Nov 12, 2022
build.gradle	build.gradle	Prep for next release.	Mar 3, 2025
gradle-mvn-push.gradle	gradle-mvn-push.gradle	Use property instead.	May 1, 2024
gradle.properties	gradle.properties	Comment about `org.gradle.parallel=true`	May 4, 2024
gradlew	gradlew	Update to Gradle 8.12	Jan 23, 2025
gradlew.bat	gradlew.bat	Update to Gradle 8.12	Jan 23, 2025
settings.gradle	settings.gradle	Output standard error as well as standard output	Mar 11, 2025

Repository files navigation

The Checker Framework: pluggable type-checking for Java

Please see the Checker Framework manual (HTML, PDF).

The history of releases and changes is in file docs/CHANGELOG.md.

Documentation for Checker Framework developers is in directory docs/developer/.

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Repository files navigation

The Checker Framework: pluggable type-checking for Java

About

Releases 120

Packages

Contributors 144

Languages

License

typetools/checker-framework

Folders and files

Latest commit

History

Repository files navigation

The Checker Framework: pluggable type-checking for Java

About

Topics

Resources

License

Stars

Watchers

Forks

Releases 120

Packages 0

Contributors 144

Languages

Packages