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.34.0 release #471

Merged
merged 100 commits into from
May 7, 2023
Merged

typetools/checker-framework 3.34.0 release #471

merged 100 commits into from
May 7, 2023

Conversation

wmdietl
Copy link
Member

@wmdietl wmdietl commented May 7, 2023

No description provided.

wmdietl and others added 30 commits May 7, 2023 04:58
@wmdietl
Change to typetools formatting
1520884
@smillst @wmdietl
Prep for next release.
43c6183
@smillst @wmdietl
Allow private methods in JavaExpressions. (typetools#5746)
54b044c
@mernst @wmdietl
More text about ownership defaults (typetools#5747)
6ee5e14
@kelloggm @wmdietl
RLC: Resource variables are @Owning for the purposes of issuing res…
d45e289 
…et.not.owning errors
@smillst @wmdietl
Update Gradle plugin examples. (typetools#5748)
cc17868
@smillst @wmdietl
Fix version number.
f29c106
@mernst @wmdietl
Bump com.diffplug.spotless from 6.17.0 to 6.18.0
f8328cb
@smillst @wmdietl
Records are classes
1541a01
@mernst @wmdietl
Signedness annotations for JUnit
0e7f963
@mernst @wmdietl
Warn about redundant annotations
6721b07
@mernst @wmdietl
Test case for typetools#5760
3a819b6
@mernst @wmdietl
Fix typo
de73007
@mernst @wmdietl
Test case for typetools#5762
88e354e
@mernst @wmdietl
Improve messages for Called Methods checker (typetools#5763)
dc1d726
@mernst @wmdietl
Clarify error message (typetools#5756)
ba7f613
@mernst @wmdietl
Improve discussion of semantic versioning (typetools#5758)
0ff32e7
@mernst @wmdietl
Add FAQ about warnings after run-time tests (typetools#5759)
c6e7301
@mernst @wmdietl
Maven documentation (typetools#5761)
ceefc8e
@mernst @wmdietl
Permit @InheritableMustCall() as well as @InheritableMustCall({}) (…
cfa9ead 
…typetools#5764)
@kelloggm @wmdietl
@MustCall is ignored on non-owning formal parameters
dd565d6
@mernst @wmdietl
Use real stubparser jar file name (typetools#5766)
05b9242
@mernst @wmdietl
Formatting improvements
fd1d7b3
@mernst @wmdietl
Signedness documentation (typetools#5769)
13291a1
@smillst @wmdietl
Default explicit lambda parameter types the same as method parameters
915d78a
@mernst @wmdietl
Diagnostics and retrying for make contributors.tex (typetools#5772)
b4dc899
@mernst @wmdietl
Add signedness test about JDK annotations
3cbbe63
@mernst @wmdietl
More diagnostics about inability to find JDK
e137a30
@mernst @wmdietl
Put target and targetExclude together
65840ae
@mernst @wmdietl
Use Spotless rather than custom Gradle code (typetools#5775)
ade59d5
mernst and others added 28 commits May 7, 2023 06:27
@mernst @wmdietl
Improve deepCopy() Javadoc, and remove an unneeded method (typetool…
5b1242a 
…s#5812)
@mernst @wmdietl
Javadoc for buildMethodContext() (typetools#5815)
99a3c3e
@mernst @wmdietl
Add failing test
d87cb5e
@mernst @wmdietl
Remove duplicate code from bad merge
b678f42
@mernst @wmdietl
Add two formal parameters to wpiPrepareMethodForWriting() (typetool…
887dd39 
…s#5811)
@mernst @wmdietl
DeepCopyable does not extend Cloneable, so don't use clone()
6fd2601
@mernst @wmdietl
Expand documentation of AinferResourceLeakAjavaTest
c4c31ca
@mernst @wmdietl
Rearrange order
3d4326b
@mernst @wmdietl
Make doc for CheckerFrameworkWPIPerDirectoryTest more explicit (typet…
ee392e2 
…ools#5818)
@mernst @kelloggm @wmdietl
Change generation test names to *GenerationTest (typetools#5817)
06839cf 
Co-authored-by: Martin Kellogg <martin.kellogg@njit.edu>
@mernst @wmdietl
Reorder methods
90e2667
@renovate @wmdietl
Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.459
0a70560
@mernst @wmdietl
Don't re-use class names across tests
460000f
@mernst @wmdietl
Call super.wpiPrepareMethodForWriting() (typetools#5824)
c757785
@mernst @wmdietl
Documentation improvements
23ef8b0
@mernst @wmdietl
Documentation for checkMemberReferenceReceivers() (typetools#5819)
56c560b
@mernst @wmdietl
Improve efficiency of getPreconditionAnnotations() and `getPostcond…
2f707e8 
…itionAnnotations()` (typetools#5820)
@mernst @wmdietl
Documentation improvements (typetools#5822)
728f49e
@smillst @wmdietl
Prep for release.
bd35967
@smillst @wmdietl
Revert updating shadown plugin.
96d1f35
@smillst @wmdietl
Fix link.
d74ce41
@mernst @wmdietl
Avoid ConcurrentModificationException (typetools#5828)
155a636
@mernst @wmdietl
Define toStringVerbose() (typetools#5830)
07031fc
@smillst @wmdietl
Changed release date.
f4b9d64
@smillst @wmdietl
new release 3.34.0
41e1306
@wmdietl
Undo change: fail fast instead of returning false
3929607
@wmdietl
Change back to AOSP formatting
fc384a3
@wmdietl
Fix formatting
6db2461
@wmdietl wmdietl merged commit 88d1905 into typetools-3.34.0-fixes May 7, 2023
@wmdietl wmdietl deleted the typetools-3.34.0-merge branch May 7, 2023 11:04
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.
4 participants
@wmdietl @smillst @mernst @kelloggm