search

opprop / checker-framework-inference

Inference of pluggable types for Java
6 stars 13 forks source link

Update to EISOP 3.32-eisop1 from 3.28-eisop1 #435

Closed Ao-senXiong closed 7 months ago

Ao-senXiong commented 7 months ago

Relevant PRs are:

For CF: https://github.com/opprop/checker-framework/pull/246 For Annotation-tools: https://github.com/opprop/annotation-tools/pull/129 For JDK: https://github.com/opprop/jdk/pull/4 For Stubparser: https://github.com/opprop/stubparser/pull/55

Ao-senXiong commented 7 months ago

@wmdietl Hi Werner, please do review this and relevant PR in the description and see if you are happy about the changes:).