[typetools/checker-framework] 874a23: Fix CFG node duplication for array access and bina...

0 views

Skip to first unread message

unread,

Aug 31, 2025, 5:08:19 AM (7 days ago) Aug 31

to checker-fr...@googlegroups.com

Branch: refs/heads/copilot/fix-7229
Home: https://github.com/typetools/checker-framework
Commit: 874a231eb2fcc07d2fee5e13844013de44806a4c
https://github.com/typetools/checker-framework/commit/874a231eb2fcc07d2fee5e13844013de44806a4c
Author: copilot-swe-agent[bot] <19898274...@users.noreply.github.com>
Date: 2025-08-31 (Sun, 31 Aug 2025)

Changed paths:
M dataflow/src/main/java/org/checkerframework/dataflow/cfg/builder/CFGTranslationPhaseOne.java

Log Message:
-----------
Fix CFG node duplication for array access and binary operations

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