[typetools/checker-framework] 96816c: Rename `*Playground` to `*Pdf` (#7237)

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 96816caa428bc057f5b36910addc07a74b715697
https://github.com/typetools/checker-framework/commit/96816caa428bc057f5b36910addc07a74b715697
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-09-03 (Wed, 03 Sep 2025)

Changed paths:
M dataflow/manual/content.tex
A dataflow/src/main/java/org/checkerframework/dataflow/cfg/playground/BusyExpressionPdf.java
R dataflow/src/main/java/org/checkerframework/dataflow/cfg/playground/BusyExpressionPlayground.java
A dataflow/src/main/java/org/checkerframework/dataflow/cfg/playground/ConstantPropagationPdf.java
R dataflow/src/main/java/org/checkerframework/dataflow/cfg/playground/ConstantPropagationPlayground.java
A dataflow/src/main/java/org/checkerframework/dataflow/cfg/playground/LiveVariablePdf.java
R dataflow/src/main/java/org/checkerframework/dataflow/cfg/playground/LiveVariablePlayground.java
A dataflow/src/main/java/org/checkerframework/dataflow/cfg/playground/ReachingDefinitionPdf.java
R dataflow/src/main/java/org/checkerframework/dataflow/cfg/playground/ReachingDefinitionPlayground.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/CFGVisualizeLauncher.java
M dataflow/src/main/java/org/checkerframework/dataflow/livevariable/package-info.java
M docs/CHANGELOG.md

Log Message:
-----------
Rename `*Playground` to `*Pdf` (#7237)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications