- Notifications
You must be signed in to change notification settings - Fork 19
Pull requests: checkedc/checkedc-llvm-project
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Fix 3C test that fails only on Windows.
#1194 by dtarditi was merged Jan 28, 2022 Loading… updated Jan 28, 2022
Update 3C conversion tool to latest changes from Correct Computation
#1192 by dtarditi was merged Jan 28, 2022 Loading… updated Feb 9, 2022
Update 3C test that fails on Windows.
#1197 by dtarditi was merged Nov 30, 2022 Loading… updated Nov 30, 2022
Checked Qualifier Support
#1198 by arunkumarbhattar was closed Apr 23, 2023 Loading… updated Apr 23, 2023
Fix a failing test Checked C on MacOS
#1215 by dtarditi was merged Jul 18, 2023 Loading… updated Nov 23, 2023
Fix 3c tests failing when check-all is run.
#1203 by dtarditi was merged May 6, 2023 Loading… updated Nov 23, 2023
Update 3C documentation #1206
#1217 by arunkumarbhattar was closed Nov 23, 2023 Loading… updated Nov 23, 2023
Fix white space in README.md update.
#1222 by dtarditi was merged Nov 23, 2023 Loading… updated Nov 23, 2023
Update README with release information.
#1221 by dtarditi was merged Nov 23, 2023 Loading… updated Nov 23, 2023
Enable two tests that actually work on Apple ARM64 Macs.
#1223 by dtarditi was merged Nov 27, 2023 Loading… updated Nov 27, 2023
Update README and setup/build instructions
#1224 by dtarditi was merged Dec 2, 2023 Loading… updated Dec 2, 2023
Fix crash when processing GCC statement expression
#1226 by dtarditi was merged Dec 3, 2023 Loading… updated Dec 3, 2023
Fix compiler assert involving a bound-safe interface with a typedef'ed type.
#1227 by dtarditi was merged Dec 3, 2023 Loading… updated Dec 3, 2023
Fix issue 1204 assertion when compiling openssh-portable source code
#1228 by dtarditi was merged Dec 20, 2023 Loading… updated Dec 20, 2023
Adding commits for 3clsp support
#1229 by souragc was closed Jan 3, 2024 Loading… updated Jan 3, 2024
Adding lsp support for 3c and adding conflict resolver for graphs used by 3c
#1230 by souragc was merged Feb 27, 2024 Loading… updated Feb 27, 2024
Fixed clang crash when calling 3C.
#1233 by souragc was merged Apr 17, 2024 Loading… updated Apr 17, 2024
Fix additional failing test cases
#1235 by dtarditi was closed Sep 30, 2024 Loading… updated Sep 30, 2024
ProTip! Mix and match filters to narrow down what you’re looking for.