[typetools/checker-framework] 3dcbb8: Renamings (#7236)

[Michael Ernst]

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

Changed paths:
M dataflow/build.gradle
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/CFGProcessor.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/CFGVisualizeLauncher.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/CFGVisualizeOptions.java
M docs/CHANGELOG.md

Log Message:
-----------
Renamings (#7236)



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