Skip to content

Pull requests: checkedc/checkedc-llvm-project

New pull request New
Clear current search query, filters, and sorts
2 Open 24 Closed
2 Open 24 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 README.md
#1191 by dtarditi was merged Jan 18, 2022 Loading…
Update 3C conversion tool to latest changes from Correct Computation
#1192 by dtarditi was merged Jan 28, 2022 Loading…
7
Fix 3C test that fails only on Windows.
#1194 by dtarditi was merged Jan 28, 2022 Loading…
Fix for Issue #1195
#1196 by Arunkumar1998BOM was merged Dec 16, 2022 Loading…
2
Update 3C test that fails on Windows.
#1197 by dtarditi was merged Nov 30, 2022 Loading…
Checked Qualifier Support
#1198 by arunkumarbhattar was closed Apr 23, 2023 Loading…
2
Bounds macro
#1199 by arunkumarbhattar was merged May 6, 2023 Loading…
29
Fix 3c tests failing when check-all is run.
#1203 by dtarditi was merged May 6, 2023 Loading…
Fix a failing test Checked C on MacOS
#1215 by dtarditi was merged Jul 18, 2023 Loading…
Update 3C documentation #1206
#1217 by arunkumarbhattar was closed Nov 23, 2023 Loading…
1
Update documentation
#1218 by souragc was merged Nov 8, 2023 Loading…
Update README with release information.
#1221 by dtarditi was merged Nov 23, 2023 Loading…
Fix white space in README.md update.
#1222 by dtarditi was merged Nov 23, 2023 Loading…
Enable two tests that actually work on Apple ARM64 Macs.
#1223 by dtarditi was merged Nov 27, 2023 Loading…
1
Update README and setup/build instructions
#1224 by dtarditi was merged Dec 2, 2023 Loading…
Fix crash when processing GCC statement expression
#1226 by dtarditi was merged Dec 3, 2023 Loading…
Fix compiler assert involving a bound-safe interface with a typedef'ed type.
#1227 by dtarditi was merged Dec 3, 2023 Loading…
Fix issue 1204 assertion when compiling openssh-portable source code
#1228 by dtarditi was merged Dec 20, 2023 Loading…
Adding commits for 3clsp support
#1229 by souragc was closed Jan 3, 2024 Loading…
1
Adding lsp support for 3c and adding conflict resolver for graphs used by 3c
#1230 by souragc was merged Feb 27, 2024 Loading…
33
Fix issues to make 3c compile.
#1232 by souragc was merged Apr 3, 2024 Loading…
1
Fixed clang crash when calling 3C.
#1233 by souragc was merged Apr 17, 2024 Loading…
1
Fix 3C testcases
#1234 by souragc was merged Jul 31, 2024 Loading…
1
Fix additional failing test cases
#1235 by dtarditi was closed Sep 30, 2024 Loading…
1
ProTip! Add no:assignee to see everything that’s not assigned.