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

Run WPI on plume-util #5534

Draft
wants to merge 40 commits into
base: master
Choose a base branch
from
Draft

Run WPI on plume-util #5534

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
40 commits
Select commit Hold shift + click to select a range
d003765
Run WPI on plume-util
mernst Apr 4, 2021
5993383
Use setwise operations
mernst Apr 5, 2021
b13d92a
Add Javadoc
mernst Apr 5, 2021
f778735
Suppress a warning
mernst Apr 5, 2021
f7cde82
Don't infer from recursive calls
mernst Apr 5, 2021
88e067f
Merge ../checker-framework-fork-mernst-branch-lessthan-glb into wpi-p…
mernst Apr 5, 2021
8917f5b
Merge ../checker-framework-fork-mernst-branch-wpi-recursive-call into…
mernst Apr 5, 2021
c8bdf7e
Merge ../checker-framework-branch-master into wpi-recursive-call
mernst Apr 5, 2021
29ebb3d
Check elements and receivers instead of method names.
smillst Apr 5, 2021
85670e8
Merge branch 'wpi-recursive-call' of github.com:mernst/checker-framew…
mernst Apr 5, 2021
a60505e
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Apr 5, 2021
540f065
Merge ../checker-framework-fork-mernst-branch-wpi-recursive-call into…
mernst Apr 5, 2021
7d70c5c
Simplify code
mernst Apr 5, 2021
1e03f2e
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Apr 5, 2021
aad2959
Merge ../checker-framework-fork-mernst-branch-wpi-recursive-call into…
mernst Apr 5, 2021
5dc343a
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Apr 7, 2021
1ee81ec
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst May 11, 2021
8ace968
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst May 17, 2021
22b20f9
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Jun 29, 2022
055194a
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Jan 1, 2023
24deab5
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Jan 5, 2023
1955493
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Jan 5, 2023
c1a6e1d
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Jan 8, 2023
bf98d91
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Jan 13, 2023
370327c
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Jan 18, 2023
a697f1a
Merge branch 'master' into wpi-plumeutil
mernst Jan 18, 2023
eb75223
Permit more time for inference jobs
mernst Jan 19, 2023
e1fee05
Merge ../checker-framework-fork-mernst-branch-ci-inference-test into …
mernst Jan 19, 2023
38bf746
Merge branch 'wpi-plumeutil' of github.com:mernst/checker-framework i…
mernst Jan 19, 2023
de71b4b
Give inference job more time
mernst Jan 19, 2023
90c1ebe
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Jan 19, 2023
3e5415e
Permit more time in CI
mernst Jan 19, 2023
175be2b
Try twice in case of network lossage
mernst Jan 19, 2023
32fc03b
Merge ../checker-framework-fork-mernst-branch-compile-twice into wpi-…
mernst Jan 19, 2023
0f74feb
Add goal file, add diagnostics
mernst Jan 20, 2023
22c4495
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Jan 20, 2023
3a2f213
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Jan 26, 2023
63ee6da
Merge branch 'master' into wpi-plumeutil
mernst Feb 3, 2023
8bc0281
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Feb 20, 2023
7ab2792
Merge ../checker-framework-branch-master into wpi-plumeutil
mernst Mar 21, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions azure-pipelines.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -100,7 +100,7 @@ jobs:
pool:
vmImage: 'ubuntu-latest'
container: mdernst/cf-ubuntu-jdk11:latest
timeoutInMinutes: 70
timeoutInMinutes: 90
steps:
- checkout: self
fetchDepth: 25
Expand All @@ -110,7 +110,7 @@ jobs:
pool:
vmImage: 'ubuntu-latest'
container: mdernst/cf-ubuntu-jdk17:latest
timeoutInMinutes: 70
timeoutInMinutes: 90
steps:
- checkout: self
fetchDepth: 25
Expand All @@ -123,7 +123,7 @@ jobs:
pool:
vmImage: 'ubuntu-latest'
container: mdernst/cf-ubuntu-jdk19:latest
timeoutInMinutes: 70
timeoutInMinutes: 90
steps:
- checkout: self
fetchDepth: 25
Expand Down
Empty file added checker/bin-devel/wpi-plumelib/plume-util.expected
View file
Open in desktop
Empty file.
1 change: 1 addition & 0 deletions checker/bin-devel/wpi-plumelib/test-wpi-plumelib.sh
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -120,5 +120,6 @@ test_wpi_plume_lib icalavailable "formatter,index,interning,lock,nullness,re
test_wpi_plume_lib lookup "formatter,index,interning,lock,nullness,regex,signature"
## Commented out temporarily
# test_wpi_plume_lib options "formatter,index,interning,lock,nullness,regex,signature,initializedfields"
test_wpi_plume_lib plume-util "formatter,index,interning,lock,nullness,regex,signature,initializedfields"

echo "exiting test-wpi-plumelib.sh"