Repository navigation

Collapse the `purity.not.` message-key variants into `purity.` - #8242

Merged

mernst merged 18 commits into

typetools:masterfrom

mernst:purity-shorter-message-keys

Sep 23, 2026

Merged

Collapse the `purity.not.` message-key variants into `purity.`#8242
mernst merged 18 commits into
typetools:masterfrom
mernst:purity-shorter-message-keys

Commits on Sep 21, 2026
- Collapse the purity.not.* message-key variants into purity.*
  mernst
  committed
  fed9b64
- Merge upstream master into purity-shorter-message-keys
  mernst
  committed
  f4f07e9
Commits on Sep 22, 2026
- Merge ../checker-framework-branch-master into purity-shorter-message-keys
  mernst
  committed
  433d330
- Address code review of the purity message-key rename
  mernst
  committed
  72e94e3
- Avoid a nullness warning in AnnotationFileParser.sameTypeArguments
  mernst
  committed
  306a87e
- Merge ../checker-framework-branch-master into nullness-fix
  mernst
  committed
  215d0e7
- Merge branch 'master' into nullness-fix
  mernst
  authored
  e4a00e3
- Merge branch 'master' into purity-shorter-message-keys
  mernst
  committed
  b2e1cc4
- Merge branch 'master' into purity-shorter-message-keys
  mernst
  committed
  b69f1a6
- Merge branch 'nullness-fix' into purity-shorter-message-keys
  mernst
  committed
  6465f18
- Merge branch 'master' into purity-shorter-message-keys
  mernst
  committed
  818d4df
- Update purity message keys in PurityOverride.java and the manual
  mernst
  committed
  a99593c
- Merge ../checker-framework-branch-master into purity-shorter-message-keys
  mernst
  committed
  a3ae285
- Merge branch 'master' into purity-shorter-message-keys
  mernst
  committed
  63b734b
- Fix message key
  mernst
  committed
  f5dcb36
Commits on Sep 23, 2026
- Merge branch 'master' into purity-shorter-message-keys
  mernst
  committed
  53a9ba3
- Merge branch 'master' into purity-shorter-message-keys
  mernst
  committed
  d23748a
- Update expected message key
  mernst
  committed
  3500643

Commits

Commits on Sep 21, 2026

Commits on Sep 22, 2026

Commits on Sep 23, 2026