Repository navigation

typetools/checker-framework 3.50.0 release - #2186

Merged

wmdietl merged 79 commits into

typetools-3.50.0-fixesfrom

typetools-3.50.0-merge

Oct 1, 2026

Merged

typetools/checker-framework 3.50.0 release#2186
wmdietl merged 79 commits into
typetools-3.50.0-fixesfrom
typetools-3.50.0-merge

Commits on Oct 1, 2026
- Change to typetools formatting
  
  wmdietl
  and
  claude
  committed
  ef24ffb
- Improve documentation about bottom and top qualifiers
  
  mernst
  authored and
  wmdietl
  committed
  a5d6491
- Run daily CI job only on the master branch
  
  mernst
  authored and
  wmdietl
  committed
  2bb546a
- Tweaks to CFAbstractStore
  
  mernst
  authored and
  wmdietl
  committed
  0acee4b
- Move AFU into the Checker Framework.
  
  authored and
  wmdietl
  committed
  0173275
- Remove file `SKIP-REQUIRE-JAVADOC`
  
  mernst
  authored and
  wmdietl
  committed
  a5f0bff
- Rename methods
  
  mernst
  authored and
  wmdietl
  committed
  1cb71a1
- Return null rather than result of visit method
  
  mernst
  authored and
  wmdietl
  committed
  ef8f9a6
- Don't create a new visitor
  
  mernst
  authored and
  wmdietl
  committed
  eef453e
- Remove unneeded variable
  
  mernst
  authored and
  wmdietl
  committed
  c2ceb22
- Change `id` field to `String`
  
  mernst
  authored and
  wmdietl
  committed
  8c896c7
- Simplify `checkClone`
  
  mernst
  authored and
  wmdietl
  committed
  336983b
- Move text about paper
  
  mernst
  authored and
  wmdietl
  committed
  c910de3
- Run Interning Checker
  
  mernst
  authored and
  wmdietl
  committed
  8fd7faa
- Remove file `SKIP-REQUIRE-JAVADOC`
  
  mernst
  authored and
  wmdietl
  committed
  6d38cc2
- Enable more Ruff rules
  
  mernst
  authored and
  wmdietl
  committed
  4219565
- Run `mypy` Python typechecker
  
  mernst
  authored and
  wmdietl
  committed
  eeaf77b
- Ignore some Ruff warnings
  
  mernst
  authored and
  wmdietl
  committed
  1fa7dfd
- Mention the SqlQuotesChecker in the changelog
  
  mernst
  authored and
  wmdietl
  committed
  ade6c31
- Improve comments
  
  mernst
  authored and
  wmdietl
  committed
  c2b14d5
- Fix `Path.open()`
  
  mernst
  authored and
  wmdietl
  committed
  bacd4fb
- Improve assertion message
  
  mernst
  authored and
  wmdietl
  committed
  38f635f
- Improve section title
  
  mernst
  authored and
  wmdietl
  committed
  41c0f04
- In AFU use the checker-qual project
  
  smillst
  authored and
  wmdietl
  committed
  e57da27
- Reorder fields
  
  mernst
  authored and
  wmdietl
  committed
  1a64dc8
- Install graphviz
  
  mernst
  authored and
  wmdietl
  committed
  4d78465
- Tweak comments
  
  mernst
  authored and
  wmdietl
  committed
  a9876a6
- Use "true if" instead of "whether"
  
  mernst
  authored and
  wmdietl
  committed
  66873a6
- Rename the formal parameters of `getStoreForBlock`
  
  mernst
  authored and
  wmdietl
  committed
  ecd3901
- Remove file SKIP-REQUIRE-JAVADOC
  
  mernst
  authored and
  wmdietl
  committed
  1b4b58f
- Improve Javadoc style
  
  mernst
  authored and
  wmdietl
  committed
  a6a55b3
- Delete file SKIP-REQUIRE-JAVADOC
  
  mernst
  authored and
  wmdietl
  committed
  a23de05
- Rename variables
  
  mernst
  authored and
  wmdietl
  committed
  eb9b4ec
- Improve Javadoc style
  
  mernst
  authored and
  wmdietl
  committed
  2325ece
- Update Sonatype URLs for wpi-many-tests
  
  mernst
  authored and
  wmdietl
  committed
  362e072
- Improve documentation of `sameElementValues()`
  
  mernst
  authored and
  wmdietl
  committed
  4d0b433
- Change expected inference warnings
  
  mernst
  authored and
  wmdietl
  committed
  ff6f947
- Improve docstrings
  
  mernst
  authored and
  wmdietl
  committed
  cfe0522
- Use curly braces around then and else clauses
  
  mernst
  authored and
  wmdietl
  committed
  d40ec1c
- Formatting of LaTeX comments
  
  mernst
  authored and
  wmdietl
  committed
  23304bf
- Run `checkNullness` on changed lines in CI
  
  mernst
  authored and
  wmdietl
  committed
  f6fe18b
- Expand parse error messages
  
  mernst
  authored and
  wmdietl
  committed
  f8f4abb
- Move citation to end of chapter
  
  mernst
  authored and
  wmdietl
  committed
  fb4ea4d
- Grow-only Checker
  
  authored and
  wmdietl
  committed
  ba01ba9
- Update to Gradle 9
  
  smillst
  authored and
  wmdietl
  committed
  393c9b6
- Add a documentation project
  
  mernst
  authored and
  wmdietl
  committed
  8601d33
- Use consistent space (none) before semicolon for shell `if`
  
  mernst
  authored and
  wmdietl
  committed
  99b2cfb
- Better error message if AJAVADIR cannot be determined
  
  mernst
  authored and
  wmdietl
  committed
  8572036
- Style checking for more Python files
  
  mernst
  authored and
  wmdietl
  committed
  84c29cd
- Use local variables, for efficiency and brevity
  
  mernst
  authored and
  wmdietl
  committed
  75d1a49
- Improve output of Java expressions
  
  mernst
  authored and
  wmdietl
  committed
  6b52a41
- Rename variables uniquely
  
  mernst
  authored and
  wmdietl
  committed
  14142b8
- Documentation tweaks
  
  mernst
  authored and
  wmdietl
  committed
  c9e0ca0
- Expand "flowexpr.parse.index.too.big" message
  
  mernst
  authored and
  wmdietl
  committed
  0a713ef
- Rename file `README` to `README.md`, for better formatting on GitHub
  
  mernst
  authored and
  wmdietl
  committed
  30dc35c
- Avoid verbose error message
  
  mernst
  authored and
  wmdietl
  committed
  1276ad0
- Consistently use whitespace before `{`
  
  mernst
  authored and
  wmdietl
  committed
  441a595
- Don't require Javadoc in `module-info.java`
  
  mernst
  authored and
  wmdietl
  committed
  e8b6cdd
- Replace JavaParser by javac's parser, for expressions
  
  authored and
  wmdietl
  committed
  ef0baf0
- Relocate `doFirst` action blocks
  
  smillst
  authored and
  wmdietl
  committed
  7e337e0
- Change release process to account for putting AFU in CF repo.
  
  authored and
  wmdietl
  committed
  d9dd88e
- Use add {} to \ReleaseVersion.
  
  smillst
  authored and
  wmdietl
  committed
  ef7be6f
- Remove project that has been completed
  
  mernst
  authored and
  wmdietl
  committed
  ef670e3
- Concise Ruff output
  
  mernst
  authored and
  wmdietl
  committed
  1ae42a5
- Update changelog
  
  smillst
  authored and
  wmdietl
  committed
  fe70c9f
- Remove the javac jar that the typetools release added under annotation-file-utilities/lib
  
  wmdietl
  and
  claude
  committed
  58462a9
- Restore EISOP's changelog, release process, and build files; typetools' build changes are ported next
  
  wmdietl
  and
  claude
  committed
  b39c87f
- Port typetools 3.50.0 build changes and fix compile errors from the merge
  
  wmdietl
  and
  claude
  committed
  5c8fc4a
- Change back to AOSP formatting
  
  wmdietl
  and
  claude
  committed
  63944b9
- Add the typetools 3.50.0 changelog section and keep the NO-AFU placeholder
  
  wmdietl
  and
  claude
  committed
  2a74c2f
- Fix the configuration-cache failure from typetools' jar copy and drop typetools' release and CI additions
  
  wmdietl
  and
  claude
  committed
  a1127bf
- Use Paths.get instead of Path.of in FileJavaFileObject, for JDK 8
  
  wmdietl
  and
  claude
  committed
  00d09fe
- Use EISOP's message keys in the index-listindexing tests
  
  wmdietl
  and
  claude
  committed
  cf324a5
- Add the Javadoc that requireJavadoc reports as missing
  
  wmdietl
  and
  claude
  committed
  c2bd6db
- Format the Annotation File Utilities sources with the AOSP formatting
  
  wmdietl
  and
  claude
  committed
  8a87ee4
- Fix the indentation of the EnsuresLTLengthOf example and put the parser note in the typetools 3.50.0 changelog entry
  
  wmdietl
  and
  claude
  committed
  d845343
- Package the renamed dataflow manual in the release scripts
  
  wmdietl
  and
  claude
  committed
  5e3a277
- Add the Javadoc that javadocDoclintAll reports as missing
  
  wmdietl
  and
  claude
  committed
  947c041
- Do not import typetools' .ruff.toml yet
  
  wmdietl
  and
  claude
  committed
  c99525b

Commits

Commits on Oct 1, 2026