Enable JSpecify JDK models (under a flag) - #1641

Merged

msridhar merged 26 commits into

Jul 24, 2026

Commits on Jul 24, 2026

make new option for jdk infer

haewiful
authored and
msridhar
committed
fe3fe77
make library model load jdk nullness data when option is true

haewiful
authored and
msridhar
committed
1a103a1
test for new option

haewiful
authored and
msridhar
committed
5f46f67
jdk nullness data astubx file

haewiful
authored and
msridhar
committed
8afe137
typo

haewiful
authored and
msridhar
committed
3efa027
new output.astubx

haewiful
authored and
msridhar
committed
128234b
rename flag
msridhar
committed
817d8fa
rename test
msridhar
committed
6a23e9f
switch to text blocks
msridhar
committed
f71c02c
failing test
msridhar
committed
ba387fe
new output.astubx

haewiful
authored and
msridhar
committed
ac21f02
only catch IOException when parsing jdk astubx file

haewiful
authored and
msridhar
committed
83741b9
more tests
msridhar
committed
59c53ea
re-throw IOException rather than swallowing it
msridhar
committed
cd954a8
WIP
msridhar
committed
595fc60
remove now unnecessary hacks
msridhar
committed
cece53e
update astubx file
msridhar
committed
f5df46f
fixes
msridhar
committed
89c37e6
more
msridhar
committed
06c0b91
only allow models in JSpecify mode
msridhar
committed
b1ef9c1
narrower catch
msridhar
committed
495c522
extract constant and relocate astubx file
msridhar
committed
a112c0e
add README file and tweaks
msridhar
committed
ba233ad
comment in test
msridhar
committed
b80333f
coderabbit feedback
msridhar
committed
2a1b233
coderabbit
msridhar
committed
cb47be6