Skip to content

Pull requests: facebook/infer

New pull request New
9 Open 421 Closed
9 Open 421 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

Fix typo in separation logic documentation
#1942 opened Aug 29, 2025 by necto Loading…
1
Fix Get Infer command in 00-getting-started.md CLA Signed
#1940 opened Aug 24, 2025 by mikoto2000 Loading…
2
ignore suppressed issues for process exit code CLA Signed
#1939 opened Aug 23, 2025 by etwoo Loading…
fix clang build with glibc 2.42 re: struct termio CLA Signed
#1938 opened Aug 23, 2025 by etwoo Loading…
docs: add local development quickstart to README (fixes #1926) CLA Signed
#1934 opened Aug 14, 2025 by aryanrahar Loading…
3
Bump brace-expansion from 1.1.11 to 1.1.12 in /website CLA Signed dependencies Pull requests that update a dependency file javascript Pull requests that update javascript code
#1928 opened Jul 30, 2025 by dependabot bot Loading…
Dockerfile for 1.2.0 CLA Signed
#1912 opened Jun 23, 2025 by shargon Loading…
1
New Property: INFINITE_LOOP detector (aka pulse-infinite). No regression. CLA Signed
#1896 opened Apr 3, 2025 by jvanegue • Draft
@davidpichardie
63
Run clang with original optimizer, which is needed to verify Linux kernel CLA Signed
#1781 opened Jul 16, 2023 by master-q Loading…
3
ProTip! Add no:assignee to see everything that’s not assigned.