Skip to content

Pull requests: opprop/checker-framework

New pull request New
13 Open 241 Closed
13 Open 241 Closed
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
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Update to EISOP 3.42-eisop4 from 3.42-eisop3
#269 opened Jul 18, 2024 by Ao-senXiong Loading…
@wmdietl
5
Bump org.plumelib:require-javadoc from 1.0.6 to 1.0.8 dependencies Pull requests that update a dependency file
#258 opened Mar 28, 2024 by dependabot bot Loading…
Introduce bottom store to improve dataflow analysis
#167 opened Apr 1, 2021 by d367wang Loading…
21
Discovery channel
#158 opened Aug 5, 2020 by wmdietl Loading…
Optimize datastructure
#156 opened Aug 5, 2020 by wmdietl Loading…
@wmdietl
pull-pico-changes: add getViewpointAdapter
#147 opened Jun 25, 2020 by lnsun Loading…
pull-pico-changes: Receiver sensitive assignment context
#145 opened Jun 24, 2020 by lnsun Loading…
@wmdietl
pull-pico-changes: expose and add method Merge to typetools
#142 opened Jun 17, 2020 by lnsun Loading…
6
Implement @ThrowsException annotation
#135 opened Jun 3, 2020 by d367wang Loading…
@wmdietl
8
refine exception type of try-catch edges
#134 opened May 31, 2020 by d367wang Loading…
@d367wang
18
Add PropertyFileHandler to ValueChecker. review needed
#120 opened Mar 24, 2020 by xingweitian Loading…
@xingweitian
33
Fix ATF postAsMemberOf so that viewpointAdaptMember wouldn't get called on executables
#87 opened Apr 25, 2019 by baoruiz Loading…
@lnsun
2
Qualified locations
#60 opened Nov 29, 2017 by topnessman Loading…
@lnsun
3
ProTip! Exclude everything labeled bug with -label:bug.