[typetools/checker-framework] f66823: Minor improvements

[Michael Ernst]

Branch: refs/heads/master
Home: https://github.com/typetools/checker-framework
Commit: f66823e2dc4d7e2d67da97561537eed0ed2963bc
https://github.com/typetools/checker-framework/commit/f66823e2dc4d7e2d67da97561537eed0ed2963bc
Author: Michael Ernst <mer...@cs.washington.edu>
Date: 2024-05-20 (Mon, 20 May 2024)

Changed paths:
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/AbstractAnalysis.java
M dataflow/src/main/java/org/checkerframework/dataflow/analysis/AnalysisResult.java
M docs/manual/creating-a-checker.tex
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/framework/type/AnnotatedTypeFactory.java

Log Message:
-----------
Minor improvements



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