typetools/checker-framework 3.43.0 release#10

Merged

wmdietl merged 6 commits intomasterfrom typetools-3.43.0-fixes

Feb 5, 2025

+15-11

Commits on Nov 17, 2023

Use Checker Framework version 3.40.0
mernst
authored

Commits on Nov 22, 2023

Use --filter=blob:none instead of --depth 1
mernst
committed

Commits on Nov 23, 2023

Improve Javadoc style
mernst
authored

Commits on Dec 14, 2023

fix for java 8 (#527)
markro49
authored

Commits on Dec 18, 2023

Adapt to CF's type argument inference improvements. (#518)
smillst
authored

Commits on Feb 5, 2025

Merge commit '5576a41a1fca6cea7aeeae5ccfda7800f944b307' of https://github.com/codespecs/daikon into typetools-3.43.0-fixes
wmdietl
committed