Repository navigation

Make checkPurity pass for javacutils. - #8262

Open

smillst wants to merge 14 commits into

typetools:masterfrom

smillst:purity-checker-checker-annos

Open

Make checkPurity pass for javacutils.#8262
smillst wants to merge 14 commits into
typetools:masterfrom
smillst:purity-checker-checker-annos

Commits on Sep 21, 2026
- The Purity Checker implies -AcheckPurityAnnotations
  
  smillst
  and
  claude
  committed
  089e1bc
- Add some purity annos.
  smillst
  committed
  260c556
- Make javacutil pass the Purity Checker
  
  smillst
  and
  claude
  committed
  e222c89
- Make checker-qual, checker-util, and framework-test pass the Purity Checker
  
  smillst
  and
  claude
  committed
  4fa2b30
- Make annotationName and compareByName @SideEffectFree rather than @Pure
  
  smillst
  and
  claude
  committed
  3410fa5
Commits on Sep 22, 2026
- Remove changelog.
  smillst
  committed
  f8af520
- Merge remote-tracking branch 'origin/master' into purity-checker-checker-annos
  smillst
  committed
  5d68985
Commits on Sep 23, 2026
- Merge remote-tracking branch 'origin/master' into purity-checker-checker-annos
  smillst
  committed
  30ac3f3
- Annotate Issue579 constructor as @SideEffectFree
  smillst
  committed
  7b8e182
- Add purity annotations so javacutil and framework-test pass the Purity Checker
  smillst
  committed
  74595fe
- Skip javadoc.
  smillst
  committed
  c80e9e7
- Remove expected error now that Record() is @SideEffectFree
  smillst
  committed
  e94e605
Commits on Sep 24, 2026
- Merge branch 'master' into purity-checker-checker-annos
  mernst
  authored
  068eacb
- Merge branch 'master' into purity-checker-checker-annos
  mernst
  authored
  e7ac111