Checkerframework Implementation#28

Merged

kelloggm merged 31 commits intothoriumrobot:masterfrom

AtomicPhoenix:checkerframework

Feb 16, 2026

Commits on Jan 19, 2026

Added checkerframework nullness testing
Possiblyai
committed
Added type annotations and null checks
Possiblyai
committed
Added type annotations and null checks
Possiblyai
committed
Added type annotations and null checks
Possiblyai
committed
Added null checks and annotations
Possiblyai
committed
Added null checks and annotations
Possiblyai
committed
Added null checks and annotations
Possiblyai
committed

Commits on Feb 3, 2026

Explictly defined checker framework version
Possiblyai
committed

Commits on Feb 4, 2026

Merge branch 'checkerframework' into checkerframework-RefactoringEngine
Possiblyai
committed
Spotless Applied
Possiblyai
committed
Merge branch 'checkerframework' into checkerframework-vgrtool
Possiblyai
committed
Updated comments
Possiblyai
committed
Merge branch 'checkerframework' into checkerframework-Boolean
Possiblyai
committed
Merge branch 'checkerframework' into checkerframework-NestedNull
Possiblyai
committed
Merge branch 'checkerframework' into checkerframework-Sentinel
Possiblyai
committed
Merge branch 'checkerframework' into checkerframework-dereference
Possiblyai
committed
Updated testing engine to remove null errors and applied Spotless
Possiblyai
committed

Commits on Feb 9, 2026

Removed wildcard inputs
Possiblyai
committed
Removed NonNull annotations on parameter types for Boolean-Flag
Possiblyai
committed
Removed NonNull annotations on parameter types for AddNullCheck
Possiblyai
committed
Removed NonNull annotations on parameter types for Refactoring Engine
Possiblyai
committed
Removed NonNull annotations on parameter types for SentinelRefactoring
Possiblyai
committed
Removed NonNull annotations on parameter types for VGRTool
Possiblyai
committed
Removed NonNull annotations on parameter types for Boolean-Flag
Possiblyai
committed
Removed NonNull annotations on parameter types for NestedNullRefactoring
Possiblyai
committed
Applied spotless
Possiblyai
committed
Updated BooleanFlagRefactoring commments to better explain SuppressWarnings usage
Possiblyai
committed
Reduced scope of SuppressWarnings in VGRTool.java
Possiblyai
committed
Updated comments for clarity
Possiblyai
committed

Commits on Feb 16, 2026