[typetools/checker-framework] 9fca67: Improve style for worklists (#7328)

1 view
Skip to first unread message

Michael Ernst

unread,
Oct 15, 2025, 2:18:39 PM (13 hours ago) Oct 15
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 9fca67afdf12cfd302a4efa02395e1e963ab531c
https://github.com/typetools/checker-framework/commit/9fca67afdf12cfd302a4efa02395e1e963ab531c
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2025-10-15 (Wed, 15 Oct 2025)

Changed paths:
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/AbstractAnalysis.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/BackwardAnalysisImpl.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/ForwardAnalysisImpl.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/ControlFlowGraph.java
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/visualize/AbstractCFGVisualizer.java
M framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java

Log Message:
-----------
Improve style for worklists (#7328)



To unsubscribe from these emails, change your notification settings at https://github.com/typetools/checker-framework/settings/notifications
Reply all
Reply to author
Forward
0 new messages