[typetools/checker-framework] 453cc8: Add methods to `AbstractAnalysis` to compute store...

0 views
Skip to first unread message

Manu Sridharan

unread,
Dec 25, 2025, 3:44:58 PM (4 days ago) Dec 25
to checker-fr...@googlegroups.com
Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: 453cc861a1304b651fb3d3b01028f10f521147b6
https://github.com/typetools/checker-framework/commit/453cc861a1304b651fb3d3b01028f10f521147b6
Author: Manu Sridharan <msri...@gmail.com>
Date: 2025-12-25 (Thu, 25 Dec 2025)

Changed paths:
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/AbstractAnalysis.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/Analysis.java
M docs/CHANGELOG.md
M framework/src/main/java/org/checkerframework/framework/type/GenericAnnotatedTypeFactory.java
M release.gradle

Log Message:
-----------
Add methods to `AbstractAnalysis` to compute stores before and after `Tree`s and `Node`s



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