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

typetools/checker-framework 3.41.0 release #650

Merged
merged 56 commits into from
Dec 5, 2023
Merged

typetools/checker-framework 3.41.0 release #650

merged 56 commits into from
Dec 5, 2023

Conversation

wmdietl
Copy link
Member

@wmdietl wmdietl commented Dec 5, 2023

No description provided.

wmdietl and others added 30 commits December 4, 2023 15:09
@wmdietl
Change to typetools formatting
3ffbfc1
@smillst @wmdietl
Prep for next release.
464842c
@smillst @wmdietl
Update CF Gradle plugin version in examples. (typetools#6281)
7851c4d
@kelloggm @wmdietl
Owning fields should not be compared with string containment (typetoo…
48bc69d 
…ls#6280)
@mernst @wmdietl
Change renovate schedule for com.amazonaws:aws-java-sdk-bom
6057a1a
@mernst @wmdietl
Put message on one line (typetools#6284)
b61dec5
@Calvin-L @wmdietl
Add @EnsuresCalledMethodsOnException (typetools#6271)
54652e3
@smillst @wmdietl
Updating stubparser to version 3.25.6 (typetools#6283)
fcd407e
@renovate @wmdietl
Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.581
5503dc0
@smillst @wmdietl
Fix another place varargs disapears
142a477
@smillst @wmdietl
Remove JAVA_8_HOME
c081064
@mernst @wmdietl
Highlight guarantee of NoSuchMethodException.
12e9804
@mernst @wmdietl
Clarify that "assertions" means the Java assert statement
5cd55a7
@mernst @wmdietl
Mention long command-line arguments
78ab2c7
@smillst @wmdietl
Use different method to avoid unchecked warning
5b6de54
@mernst @wmdietl
Remove diagnostic output
eba1579
@mernst @flo2702 @wmdietl
Abstract out updateFieldValuesForMethodCall() (typetools#6292)
4ef78ac 
Co-authored-by: Florian Lanzinger <lanzinger@kit.edu>
Co-authored-by: Werner Dietl <wdietl@gmail.com>
@mernst @wmdietl
Add signedness test (typetools#6293)
cdde07c
@mernst @wmdietl
Minor updates to purity analysis (typetools#6294)
1a613b3
@mernst @wmdietl
Minor changes related to Optional (typetools#6298)
9e858fc
@mernst @wmdietl
Don't create filenames longer than 255 characters (typetools#6299)
3fa39e0
@mernst @wmdietl
Improve variable names (typetools#6300)
90479e3
@mernst @wmdietl
Don't crash simpleTypeName() when given a package (typetools#6301)
171bd75
@mernst @wmdietl
Add method isDeterministic() to the AnnotationProvider interface (t…
013d425 
…ypetools#6295)
@mernst @wmdietl
New command-line option -AassumePureGetters (typetools#6302)
0d9fdc5
@mernst @wmdietl
Define property methods as "getters" (typetools#6304)
d229879
@jyoo980 @wmdietl
Fix link to count-suppression-reasons script in developer manual
ea72795
@mernst @wmdietl
Dog-food the Optional Checker
dac863a
@mernst @wmdietl
Adjust whitespace
d63bdfe
@mernst @wmdietl
Throw UserError if the user supplies an invalid pattern on the comman…
5905a59 
…d line (typetools#6309)
mernst and others added 26 commits December 4, 2023 16:29
@mernst @wmdietl
Use Maven 3.9.5 under Docker
9ac868c
@mernst @wmdietl
Comment about Ubuntu Docker images
21c9580
@smillst @wmdietl
Add test case for Issue 6290 (typetools#6310)
30b81a7
@mernst @wmdietl
Use --filter=blob:none instead of --depth 1
f3399f0
@mernst @wmdietl
Improve Javadoc style
58e96b3
@renovate @wmdietl
Update plugin com.diffplug.spotless to v6.23.0 (typetools#6318)
2307e52 
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@mernst @wmdietl
Add @EnsuresNonNull annotations in stub files (typetools#6316)
ce746a8
@jyoo980 @wmdietl
Fix typo in annotating-libraries.tex
1f5cde7
@smillst @wmdietl
Correct Java type of conditional expressions in dataflow
36d2ea2
@msridhar @mernst @wmdietl
Model try-with-resources semantics during CFG construction (typetools…
29725c3 
…#6273)

Co-authored-by: Michael Ernst <mernst@cs.washington.edu>
@smillst @wmdietl
Copy Enum supertype to avoid infinite loop
d69a264
@smillst @wmdietl
Treat assert methods as assert statements
96f4f1e
@renovate @wmdietl
Update dependency gradle to v8.5 (typetools#6325)
4e7bf84 
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@renovate @wmdietl
Update plugin com.diffplug.spotless to v6.23.2 (typetools#6324)
21aa5b7 
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@renovate @wmdietl
Update dependency commons-io:commons-io to v2.15.1 (typetools#6323)
ed4793f 
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@renovate @wmdietl
Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.603 (typeto…
045ba6c 
…ols#6328)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@smillst @wmdietl
Add a new method to handle annotations not on the classpath
05c89a1
@mernst @wmdietl
Remove a project
da1cc67
@renovate @wmdietl
Update dependency io.github.classgraph:classgraph to v4.8.165 (typeto…
7ce5310 
…ols#6331)

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@mernst @wmdietl
Don't compute element unless necessary
3019894
@mernst @wmdietl
Use Error Prone 2.23.0 (suppress warning)
36e4195
@renovate @wmdietl
Update plugin com.diffplug.spotless to v6.23.3
d0eae74
@mernst @wmdietl
Transfer function documentation (typetools#6333)
04ddc34
@smillst @wmdietl
Prep for release.
50f8a7c
@smillst @wmdietl
new release 3.41.0
058905a
@wmdietl
Change back to AOSP formatting
fbf6b93
@wmdietl wmdietl merged commit 780fef9 into typetools-3.41.0-fixes Dec 5, 2023
0 of 7 checks passed
@wmdietl wmdietl deleted the typetools-3.41.0-merge branch December 5, 2023 01:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
7 participants
@wmdietl @smillst @kelloggm @mernst @Calvin-L @jyoo980 @msridhar