Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
90 commits
Select commit Hold shift + click to select a range
28d5cc4
Remove GitHub CI
wmdietl Dec 10, 2024
2a5380e
Disable jdk17u merging CI job
wmdietl Dec 11, 2024
ecbfa4a
Use `@SqlEvenQuotes` annotations from the JDK, not `.astub` file
mernst Jan 2, 2025
194cbc2
There is no need to build the annotated JDK
mernst Mar 11, 2025
aaca02c
Move CI to GitHub Actions (#94)
aosen-xiong Mar 12, 2025
f0fae60
Sync qualifier files from EISOP (#111)
aosen-xiong Mar 12, 2025
d87bf19
Remove `SideEffectsOnly` annotations (#113)
aosen-xiong Mar 12, 2025
9714ebd
Add links to refined return type logic to `j.u.Arrays#copyOf` methods…
aosen-xiong Mar 13, 2025
e68c028
Remove `AnnotatedFor` on EISOP annotations (#115)
aosen-xiong Mar 13, 2025
c3f95c5
Check JDK consistency in CI (#117)
aosen-xiong Mar 16, 2025
dc09414
Annotate `java.sql.DriverManager` for nullness (#112)
thomaskirz Mar 16, 2025
fed17a2
Add `@Nullable` annotations to `join` and `formatted`. (#107)
cpovirk Mar 16, 2025
9fdc698
Annotate `Record` for nullness. (#108)
cpovirk Mar 17, 2025
8748294
Use `@NonNull` more for "the value inside the `Optional`." (#110)
cpovirk Mar 17, 2025
cabe8f7
Use JDK 21 for CF tests in CI, and define SQL Quotes qualifiers
mernst Apr 1, 2025
fbf4041
Always run Gradle on JDK 21; also run CI tests on JDK 25 (#124)
aosen-xiong May 13, 2025
606f06a
Relax types in `Map.merge()`
mernst May 31, 2025
f8c0ed8
Run CI daily (#125)
aosen-xiong Jun 27, 2025
39b1ee2
Merge branch 'master' of https://github.com/typetools/jdk into typeto…
wmdietl Jul 1, 2025
16df476
Make consistent with changes in https://github.com/eisop/checker-fram…
wmdietl Jul 4, 2025
9d40ad2
Update from typetools/jdk (#129)
wmdietl Jul 5, 2025
71e71e4
Refresh qualifier definitions
mernst Aug 6, 2025
4690577
`@Shrinkable` annotations
mernst Aug 12, 2025
d9252f5
Move `azure-pipelines.yml` into a subdirectory
mernst Nov 14, 2025
df69615
Generate `azure-pipelines.yml` via m4
mernst Nov 14, 2025
9465dbc
Split daikon test (#236)
smillst Nov 14, 2025
a3a0f02
Improve documentation of jdk17u repository
smillst Nov 14, 2025
01eafb2
Split cftests_all job
mernst Nov 14, 2025
37cb08f
Generate Daikon jobs
mernst Nov 14, 2025
461b07b
Shorten job names
mernst Nov 16, 2025
2d47874
Annotated io/nio/concurrent exceptions (#244)
smillst Nov 19, 2025
b96c075
Added null annotations based on javadoc for the public nio classes (#…
smillst Nov 21, 2025
ecc6033
Write `@Identifier` on `Method.getName()`
mernst Nov 27, 2025
4ce0787
Add `@Identifier` in `StackTraceElement`
mernst Nov 29, 2025
985c44f
More signature annotations
mernst Dec 1, 2025
0fcac1f
Improve Markdown style
mernst Dec 16, 2025
9e9c392
JDK 21
mernst Dec 17, 2025
f03a779
Don't run CI job that fails
mernst Dec 17, 2025
865d19a
Don't squash-and-merge during version upgrade
mernst Dec 17, 2025
c2c4b07
Emacs commands to assist version upgrade
mernst Dec 17, 2025
767950f
Add more exports
mernst Dec 17, 2025
97f8124
Comment out an annotation
mernst Dec 17, 2025
0d14117
Remove unused import statements
mernst Dec 17, 2025
1855823
Merge upstream JDK 21
mernst Dec 18, 2025
47f798c
Annotate recently-added APIs
mernst Dec 19, 2025
bb3fec7
Move Emacs functions for merging
mernst Jan 2, 2026
bcc4142
`Pattern`: use `PolyRegex` for receiver and return of `pattern` and `…
wmdietl Apr 22, 2026
ba00819
Add `@EnsuresInitialized` postcondition (#136)
aosen-xiong Aug 31, 2026
3bd57ab
Annotate Queue, Deque, and BlockingDeque peek methods with `@Pure` (#…
wmdietl Aug 31, 2026
0fe3a5c
Add subpackage controls to package annotations (#138)
aosen-xiong Sep 7, 2026
96eb53b
Annotate 16 exception classes for nullness (#139)
wmdietl Sep 9, 2026
af731dd
Annotate VarHandle's reference read modes as @Nullable (#140)
wmdietl Sep 10, 2026
af6d726
Annotate MethodHandle for nullness (#141)
wmdietl Sep 10, 2026
33182bb
Make `@AnnotatedFor` repeatable (#142)
wmdietl Sep 10, 2026
74ab5b4
Fix import order and stray blank line from #139 (#143)
wmdietl Sep 10, 2026
0af1a5a
Introduce `@UnannotatedFor` (#144)
aosen-xiong Sep 14, 2026
ca03a92
`@AnnotatedFor` and `@UnannotatedFor` runtime retention (#146)
aosen-xiong Sep 15, 2026
92a35a0
Document `SOURCE` retention and add missing `@Retention` to `PolyInit…
wmdietl Sep 15, 2026
f5b4023
Clarify roles of `@Deterministic`, `@Pure`, and `@SideEffectFree` ann…
aosen-xiong Sep 17, 2026
ed063b6
Update CI JDK versions, fail on test failures, and configure Renovate…
wmdietl Sep 17, 2026
9eaa3b2
Introduce `@ProgrammaticDefaultLocations` for programmatic defaults (…
wmdietl Sep 25, 2026
2b53d90
Update StubFiles Javadoc for inheritance and compound checkers (#151)
wmdietl Sep 27, 2026
c95a472
Update RelevantJavaTypes Javadoc for superclass inheritance (#152)
wmdietl Sep 27, 2026
618afed
Refresh qualifier definitions
mernst Aug 6, 2025
5d9431d
`@Shrinkable` annotations
mernst Aug 12, 2025
7f164b0
Sync the qualifier copies with the Checker Framework
wmdietl Oct 1, 2026
ded8878
Update from typetools/jdk up to the Checker Framework 3.50.0 release …
wmdietl Oct 1, 2026
0c5a5c0
Sync the qualifier copies with the Checker Framework (#154)
wmdietl Oct 1, 2026
ffa5e5c
Sync RequiresNonEmpty with the Checker Framework (#155)
wmdietl Oct 1, 2026
f940aee
Sync EnsuresLockHeldIf with the Checker Framework 3.52.0 release (#156)
wmdietl Oct 1, 2026
ce76087
Move `azure-pipelines.yml` into a subdirectory
mernst Nov 14, 2025
f26e07b
Generate `azure-pipelines.yml` via m4
mernst Nov 14, 2025
2cb55e2
Split daikon test (#236)
smillst Nov 14, 2025
c25d801
Improve documentation of jdk17u repository
smillst Nov 14, 2025
9bf1120
Split cftests_all job
mernst Nov 14, 2025
b3c963f
Generate Daikon jobs
mernst Nov 14, 2025
48075ac
Shorten job names
mernst Nov 16, 2025
3ebc5f0
Annotated io/nio/concurrent exceptions (#244)
smillst Nov 19, 2025
a75a1fe
Added null annotations based on javadoc for the public nio classes (#…
smillst Nov 21, 2025
060aa24
Write `@Identifier` on `Method.getName()`
mernst Nov 27, 2025
326b484
Add `@Identifier` in `StackTraceElement`
mernst Nov 29, 2025
23e9f39
More signature annotations
mernst Dec 1, 2025
72b120f
Update from typetools/jdk up to the Checker Framework 3.52.1 release …
wmdietl Oct 2, 2026
5c22e4d
Merge commit 'bb3fec71bc7' of https://github.com/typetools/jdk into j…
wmdietl Oct 2, 2026
a6fca33
Remove the @SideEffectsOnly annotations
wmdietl Oct 2, 2026
fc5b6d0
Merge branch 'master' into jdk-21
wmdietl Oct 2, 2026
e634e1d
Remove duplicate @Pure annotations in doclets Utils
wmdietl Oct 2, 2026
770cdc0
Remove the remaining duplicate @Pure in doclets Utils
wmdietl Oct 2, 2026
55df904
Match CanonicalName.java to the Checker Framework
wmdietl Oct 2, 2026
1192a4f
Fix two merge defects that break the JDK build
wmdietl Oct 2, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
16 changes: 16 additions & 0 deletions .azure/Makefile
Original file line number Diff line number Diff line change
@@ -0,0 +1,16 @@
all default: azure-pipelines.yml

%: %.m4 defs.m4
@chmod -f +w $@ || true
m4 $< > $@
# Squeeze multiple blank lines into one.
cat -s $@ > [email protected]
# Remove leading blank lines.
sed '/[^[:blank:]]/,$$!d' [email protected] > $@
# Remove trailing blank lines.
sed -e :a -e '/^\s*$$/{$$d;N;ba' -e '}' $@ > [email protected]
mv -f [email protected] $@
@chmod -w $@

clean:
rm -f azure-pipelines.yml
Loading
Loading