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.34-eisop1 from 3.32-eisop1 #254

Merged
merged 57 commits into from
Mar 28, 2024
Merged

Update to EISOP 3.34-eisop1 from 3.32-eisop1 #254

merged 57 commits into from
Mar 28, 2024

Conversation

Ao-senXiong
Copy link

@Ao-senXiong Ao-senXiong commented Feb 7, 2024 •
edited
Loading

Relevant PRs are:

For CFI: opprop/checker-framework-inference#437
For Annotation-tools: opprop/annotation-tools#130
For JDK: opprop/jdk#5
For Stubparser: opprop/stubparser#56

smillst and others added 30 commits March 9, 2023 12:59
@smillst @wmdietl
Add task dependsOn.
c122566
@wmdietl
Prep for next release
8798f69
@dependabot
Bump io.github.classgraph:classgraph from 4.8.156 to 4.8.157 (eisop#432)
52bfd34
@wmdietl
Fix changelog comment
17826a7
@wmdietl
Adapt to black Python formatting (eisop#449)
f3e8755
@wmdietl
Upgrade to gradle 8.1-rc-1 (eisop#450)
e5853d3
@wmdietl
Regex: use parameter types for TreeUtils.getMethod to account for JDK…
2750bb5 
… 20 additions (eisop#451)
@wmdietl
Update Docker images and consistently use them (eisop#448)
4071f4e
@dependabot
Bump de.undercouch.download from 5.3.1 to 5.4.0 (eisop#441)
59408a9
@farzanmirshekari @wmdietl
Create CFGVisualizeOptions class for handling command-line arguments (e…
45c5d8d 
…isop#440)

Co-authored-by: Werner Dietl <[email protected]>
@wmdietl
Allow JDK next jobs to fail quietly (eisop#452)
ac9347c
@wmdietl
Expand an explanation
3eda80c
@zcai1
Refactor handling of test options and interaction between `detailedms…
a3a4c1b 
…gtext` and `nomsgtext` (eisop#445)
@wmdietl
Misc. javadoc and code uniformity fixes (eisop#453)
7501c98
@wmdietl
Update spotless-plugin-gradle from 6.16.0 to 6.17.0 (eisop#454)
1b92dc5
@AndrewShf
Fix bug in warning about redundant annotations (eisop#460)
7b2c72c
@AndrewShf
Remove addComputedTypeAnnotations tree version in the Interning Check…
bd5f22b 
…er (eisop#459)
@wmdietl
Use a fork of Daikon and use a fixed commit ID (eisop#461)
6376cb6
@wmdietl
Upgrade to Spotless 6.18.0 (eisop#463)
5a4b9a5
@wmdietl
Upgrade to gradle 8.1.1 (eisop#462)
fb68867
@txiang61 @wmdietl
Allow users to define custom type and declaration annotation aliases (e…
d3e1750 
…isop#456)

Co-authored-by: Werner Dietl <[email protected]>
@wmdietl
Remove unused grgit dependency (eisop#466)
b235df2
@wmdietl @smillst
@mernst @dependabot @kelloggm @AndrewShf
typetools/checker-framework 3.33.0 release (eisop#467)
d0d8d48 
Co-authored-by: Suzanne Millstein <[email protected]>
Co-authored-by: Michael Ernst <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Martin Kellogg <[email protected]>
Co-authored-by: Haifeng Shi <[email protected]>
@wmdietl
annotation-tools is not an included build
4bff768
@wmdietl
Use supertype LinkageError to cover all possible exceptions
3b14df5
@wmdietl
Also format .ajava files
4648ca2
@wmdietl
Fix in eisop PR eisop#459 is nicer
5c8a00e
@wmdietl
Add note about possible false negative
5b891ec
@wmdietl
Fix expected error keys
489f87a
@wmdietl
Fix code comment formatting
7be1dc8
dependabot bot and others added 17 commits April 27, 2023 08:51
@dependabot
Bump net.ltgt.errorprone from 3.0.1 to 3.1.0 (eisop#464)
7190311
@wmdietl @smillst
@mernst @kelloggm @renovate
typetools/checker-framework 3.34.0 release (eisop#471)
88d1905 
Co-authored-by: Suzanne Millstein <[email protected]>
Co-authored-by: Michael Ernst <[email protected]>
Co-authored-by: Martin Kellogg <[email protected]>
Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
@wmdietl
Adapt test to inference change
7d13247
@wmdietl
Adapt error key
7ec0cb6
@wmdietl
Use last released version
47fa10b
@wmdietl
Fix header alignment
66e7138
@wmdietl
Comment about documenting package-private
4fbcd52
@wmdietl
Code comment formatting
64a2e2f
@wmdietl
Fix merge error: explicitly handle impure methods
e3f1d84
@wmdietl
Update daikon commit
26566f4
@wmdietl
typetools/checker-framework 3.34.0 release (eisop#472)
23efcdc
@renovate
Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.464
677d7f3
@renovate
Update dependency io.github.classgraph:classgraph to v4.8.158
18a98c2
@renovate
Update dependency com.amazonaws:aws-java-sdk-bom to v1.12.465 (eisop#476
d84f376 
)
@wmdietl
Prepare for release
26f478f
@lucedes27
Replace checkerframework.org with eisop.github.io (eisop#447)
ddeb198
@wmdietl
new release 3.34.0-eisop1
b8905d3
@Ao-senXiong Ao-senXiong force-pushed the checker-framework-3.34.0-eisop1 branch from ebac7d3 to 0961105 Compare February 8, 2024 17:11
@Ao-senXiong Ao-senXiong force-pushed the checker-framework-3.34.0-eisop1 branch from e16fd41 to fd3b869 Compare February 27, 2024 21:27
@Ao-senXiong Ao-senXiong force-pushed the checker-framework-3.34.0-eisop1 branch from f607fbb to 19b2a93 Compare March 8, 2024 05:23
@wmdietl
Copy link
Member

wmdietl commented Mar 22, 2024

@Ao-senXiong Something must have gone wrong when you pulled the EISOP changes. There are no individual commits with the changes, only a merge commit.
Do not cherry-pick or merge the changes for EISOP. All commits from EISOP/cf should also be in OPPROP/cf.

@Ao-senXiong Ao-senXiong force-pushed the checker-framework-3.34.0-eisop1 branch 2 times, most recently from deb8158 to 1cc47bf Compare March 22, 2024 18:22
@Ao-senXiong
Copy link
Author

Ao-senXiong commented Mar 27, 2024 •
edited
Loading

@Ao-senXiong Something must have gone wrong when you pulled the EISOP changes. There are no individual commits with the changes, only a merge commit. Do not cherry-pick or merge the changes for EISOP. All commits from EISOP/cf should also be in OPPROP/cf.

Hi @wmdietl, I have redo the change and this PR is ready for review.

@wmdietl wmdietl merged commit 32f25d1 into opprop:master Mar 28, 2024
36 checks passed
@wmdietl wmdietl mentioned this pull request Mar 29, 2024
Merged
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.
8 participants
@Ao-senXiong @wmdietl @smillst @farzanmirshekari @zcai1 @AndrewShf @txiang61 @lucedes27