[typetools/checker-framework] c44c26: Improve CFAbstractValue

0 views
Skip to first unread message

Suzanne Millstein

unread,
Jul 24, 2026, 4:38:41 PM (2 days ago) Jul 24
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: c44c26c2dd4099475edded440b46edcd016793d6
https://github.com/typetools/checker-framework/commit/c44c26c2dd4099475edded440b46edcd016793d6
Author: Suzanne Millstein <smi...@cs.washington.edu>
Date: 2026-07-24 (Fri, 24 Jul 2026)

Changed paths:
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractAnalysis.java
M framework/src/main/java/org/checkerframework/framework/flow/CFAbstractValue.java

Log Message:
-----------
Improve CFAbstractValue



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