Branch: refs/heads/master
Home:
https://github.com/typetools/checker-framework
Commit: 154601b0719ee5ed0e2a959bd3f2b58c9fdc8d64
https://github.com/typetools/checker-framework/commit/154601b0719ee5ed0e2a959bd3f2b58c9fdc8d64
Author: Suzanne Millstein <
smi...@cs.washington.edu>
Date: 2026-04-09 (Thu, 09 Apr 2026)
Changed paths:
M checker/src/main/java/org/checkerframework/checker/formatter/FormatterVisitor.java
M checker/src/main/java/org/checkerframework/checker/i18nformatter/I18nFormatterVisitor.java
M checker/src/main/java/org/checkerframework/checker/index/inequality/LessThanVisitor.java
M checker/src/main/java/org/checkerframework/checker/index/samelen/SameLenVisitor.java
M checker/src/main/java/org/checkerframework/checker/lock/LockVisitor.java
M checker/src/main/java/org/checkerframework/checker/nullness/NullnessVisitor.java
M framework/src/main/java/org/checkerframework/common/aliasing/AliasingVisitor.java
M framework/src/main/java/org/checkerframework/common/basetype/BaseTypeVisitor.java
M framework/src/main/java/org/checkerframework/common/value/ValueVisitor.java
Log Message:
-----------
Improve documentation of commonAssignmentCheck and correct overrides
To unsubscribe from these emails, change your notification settings at
https://github.com/typetools/checker-framework/settings/notifications