Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Update to EISOP 3.41-eisop1 from 3.40-eisop2 #262

Merged
merged 29 commits into from
Apr 20, 2024
Merged

Update to EISOP 3.41-eisop1 from 3.40-eisop2 #262

merged 29 commits into from
Apr 20, 2024

Conversation

Ao-senXiong
Copy link

@Ao-senXiong Ao-senXiong commented Apr 16, 2024 •
edited
Loading

wmdietl and others added 28 commits November 24, 2023 23:33
@wmdietl
Prep for next release
c9b1e10
@wmdietl
Extract version variable and update version (eisop#630)
4f53c5b
@wmdietl
Do not use thisValue when it is the NullType (eisop#636)
3c4dad3
@flo2702 @wmdietl
Generalize improvement of initialization type frames (eisop#642)
d7f9dab 
Co-authored-by: Werner Dietl <wdietl@gmail.com>
@renovate
Update dependency commons-io:commons-io to v2.15.1 (eisop#643)
a7b7535
@renovate
Update dependency gradle to v8.5 (eisop#644)
3ed0c11
@renovate
Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.604 (eisop#645
5c59bff 
)
@renovate
Update dependency com.diffplug.spotless:spotless-plugin-gradle to v6.…
2170fda 
…23.3 (eisop#649)
@renovate
Update dependency io.github.classgraph:classgraph to v4.8.165 (eisop#647
8eb2125 
)
@renovate
Update dependency org.checkerframework:stubparser to v3.25.6 (eisop#648)
4c08ea3
@Ao-senXiong @wmdietl
Warn about redundant null cases in switch statements and expressions (e…
2dee1c3 
…isop#634)

Co-authored-by: Werner Dietl <wdietl@gmail.com>
@wmdietl @flo2702
@renovate @mernst @smillst @kelloggm @Calvin-L @jyoo980 @msridhar
typetools/checker-framework 3.41.0 release (eisop#650)
780fef9 
Co-authored-by: Florian Lanzinger <lanzinger@kit.edu>
Co-authored-by: Werner Dietl <wdietl@gmail.com>
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Co-authored-by: Michael Ernst <mernst@cs.washington.edu>
Co-authored-by: Suzanne Millstein <smillst@cs.washington.edu>
Co-authored-by: Martin Kellogg <martin.kellogg@njit.edu>
Co-authored-by: Calvin Loncaric <marvinx03@gmail.com>
Co-authored-by: James Yoo <24359440+jyoo980@users.noreply.github.com>
Co-authored-by: Manu Sridharan <msridhar@gmail.com>
@wmdietl
Consistently spell it JUnit
9c804e4
@wmdietl
Add missing import to stub file
9ad831a
@wmdietl
Remove warnings about junit-assertions.astub that do not occur
28f6b0f
@wmdietl
Formatting tweak
a4c50ad
@wmdietl
Make error keys consistent
66bb90d
@wmdietl
Simplify code, suppress Optional Checker FP, code consistency fixes
6be13eb
@wmdietl
Code comment formatting
011fbb7
@wmdietl
Fix formatting
5b60183
@wmdietl
Fix error keys and warning texts
13f7887
@wmdietl
Fix terminology and use EISOP website
084ca4b
@wmdietl
Skip try-with-resources test on Java 8
f62005e
@wmdietl
Add a note
97af138
@wmdietl
typetools/checker-framework 3.41.0 release (eisop#651)
16f11ec
@wmdietl
Prep for release
c2df6d6
@wmdietl
new release 3.41.0-eisop1
c08538f
@Ao-senXiong
Merge tag 'checker-framework-3.41.0-eisop1' of https://github.com/eis…
2539edc 
…op/checker-framework
@wmdietl
Copy link
Member

wmdietl commented Apr 16, 2024

junit_jdk21 is consistently failing with:

org.checkerframework.checker.test.junit.NullnessTest > run[/__w/1/s/checker/tests/all-systems/java21] FAILED
    java.lang.AssertionError: 0 out of 0 expected diagnostics were found.
    6 unexpected diagnostics were found:
      Issue6173.java:16: warning: (nulltest.redundant)
      JEP441.java:58: warning: (nulltest.redundant)
      JEP441.java:66: warning: (nulltest.redundant)
      JEP441.java:80: warning: (nulltest.redundant)
      JEP441.java:97: warning: (nulltest.redundant)
      JEP441.java:191: warning: (nulltest.redundant)

Is that not happening for you locally? Is some branch misnamed?

@Ao-senXiong
Copy link
Author

junit_jdk21 is consistently failing with:

org.checkerframework.checker.test.junit.NullnessTest > run[/__w/1/s/checker/tests/all-systems/java21] FAILED
    java.lang.AssertionError: 0 out of 0 expected diagnostics were found.
    6 unexpected diagnostics were found:
      Issue6173.java:16: warning: (nulltest.redundant)
      JEP441.java:58: warning: (nulltest.redundant)
      JEP441.java:66: warning: (nulltest.redundant)
      JEP441.java:80: warning: (nulltest.redundant)
      JEP441.java:97: warning: (nulltest.redundant)
      JEP441.java:191: warning: (nulltest.redundant)

Is that not happening for you locally? Is some branch misnamed?

@wmdietl Looks the symbolic link is not created in opprop and all-systems tests case did not update the change. I just created it.

@wmdietl wmdietl assigned Ao-senXiong and unassigned wmdietl Apr 18, 2024
@Ao-senXiong Ao-senXiong force-pushed the checker-framework-3.41.0-eisop1 branch from f679ae8 to 0d8fe4e Compare April 18, 2024 23:47
@Ao-senXiong Ao-senXiong assigned wmdietl and unassigned Ao-senXiong Apr 19, 2024
@wmdietl wmdietl merged commit d13a209 into opprop:master Apr 20, 2024
44 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@wmdietl wmdietl Awaiting requested review from wmdietl

Assignees

@wmdietl wmdietl

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@Ao-senXiong @wmdietl @flo2702