Skip to content

Pull requests: eisop/checker-framework

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Update template repo link to EISOP
#1031 opened Dec 23, 2024 by Ao-senXiong Loading…
Move PICO to EISOP
#1013 opened Dec 9, 2024 by Ao-senXiong Loading…
Add type as part of target location
#972 opened Nov 7, 2024 by Ao-senXiong Loading…
Invoke viewpoint adapter at correct place
#903 opened Sep 9, 2024 by Ao-senXiong Loading…
Replace deprecated buildDir
#898 opened Sep 4, 2024 by Ao-senXiong Loading…
Move misc CI checks to GitHub Actions
#862 opened Aug 19, 2024 by Ao-senXiong Loading…
JSpecify - eisop nullness checker
#856 opened Aug 15, 2024 by Ao-senXiong Draft
Fix viewpoint adaptation of type variables
#799 opened Jun 27, 2024 by Ao-senXiong Loading…
Fix initial store ignoring viewpoint adaption
#681 opened Jan 12, 2024 by flo2702 Loading…
Add ignoreDeadCode option
#633 opened Nov 25, 2023 by Ao-senXiong Loading…
fix viewpoint adaptation
#614 opened Oct 27, 2023 by AndrewShf Loading…
SARIF output
#546 opened Jul 20, 2023 by wadoon Draft
1 task
ProTip! Follow long discussions with comments:>50.