Skip to content

Activity

Showing most recent first

Update README.md

dtarditipushed 1 commit to main • 94b90c8…03fecb7 • 
on Sep 30, 2024

Merge branch 'main' of https://github.com/checkedc/checkedc-clang int…

dtarditicreated fix-test-errors-round2 • 0c06242 • 
on Sep 28, 2024

Fix 3C testcases (#1234)

Pull request merge
souragcpushed 1 commit to 17-init-main • f8c50e5…aed7d0a • 
on Jul 31, 2024

Removed all unused check prefixes from 3C tests.

souragcpushed 1 commit to 17-init-main • 6addb73…f8c50e5 • 
on Jun 18, 2024

Fix issue with type argument inference for generic functions.

souragcpushed 1 commit to 17-init-main • 06640d4…6addb73 • 
on Jun 18, 2024

Fix assert in deferred parsing of bounds expressions on struct members.

dtarditipushed 3 commits to 17-init-main • c347019…06640d4 • 
on Jun 2, 2024

Fixed Checked C clang compiler crashes.

dtarditipushed 3 commits to 17-init-main • 68fc322…c347019 • 
on May 30, 2024

Fix some Checked C clang errors.

dtarditipushed 2 commits to 17-init-main • 4718f34…68fc322 • 
on May 26, 2024

Fix merge errors causing test failures or crashes.

dtarditipushed 1 commit to 17-init-main • 6d59d0d…4718f34 • 
on May 12, 2024

Checkpoint fixes for upgrade to clang 17.

dtarditipushed 1 commit to 17-init-main • 423d7bc…6d59d0d • 
on May 12, 2024

Fixed clang crash when calling 3C. (#1233)

Pull request merge
souragcpushed 1 commit to 17-init-main • f13ecc1…423d7bc • 
on Apr 17, 2024

Fix issues to make 3c compile. (#1232)

Pull request merge
dtarditipushed 1 commit to 17-init-main • ff687eb…f13ecc1 • 
on Apr 3, 2024

Resolve merge conflicts in README.md by accepting all Checked C changes.

dtarditipushed 1 commit to 17-init-main • 19299f3…ff687eb • 
on Mar 27, 2024

Resolve many merge conflicts and get many files to compile.

dtarditipushed 1 commit to 17-init-main • c140b42…19299f3 • 
on Mar 27, 2024

Add file tracking the status of files with merge conflicts.

dtarditipushed 1 commit to 17-init-main • 049faef…c140b42 • 
on Mar 25, 2024

Check-in result of merge with latest main, includes some more merge c…

dtarditipushed 5 commits to 17-init-main • ae4b65d…049faef • 
on Mar 25, 2024

Get header files and some source files to compile.

dtarditipushed 8 commits to 17-init-main • 4d85c40…ae4b65d • 
on Mar 25, 2024

Checkin 17-init merge with conflicts.

dtarditicreated 17-init-main • 4d85c40 • 
on Mar 24, 2024

Merge commit '603c286334b07f568d39f6706c848f576914f323' of https://gi…

dtarditicreated 17-init-baseline • a9aef2b • 
on Mar 24, 2024

Adding lsp support for 3c and adding conflict resolver for graphs use…

Pull request merge
souragcpushed 1 commit to main • 5345798…94b90c8 • 
on Feb 27, 2024

Update README.md

dtarditipushed 1 commit to main • 1458a02…5345798 • 
on Dec 20, 2023

Update README.md

dtarditipushed 1 commit to main • eb05f2f…1458a02 • 
on Dec 20, 2023

Fix issue 1204 assertion when compiling openssh-portable source code (#…

Pull request merge
dtarditipushed 1 commit to main • 92ef8fe…eb05f2f • 
on Dec 20, 2023

Fix typo.

dtarditicreated issue-1204 • d338ad6 • 
on Dec 6, 2023

Fix compiler assert involving a bound-safe interface with a typedef'…

Pull request merge
dtarditipushed 1 commit to main • 900047e…92ef8fe • 
on Dec 3, 2023

Fix compiler assert involving a bound-safe interface with a typedef'e…

dtarditicreated issue-1200 • 79c5a66 • 
on Dec 3, 2023

Fix crash when processing GCC statement expression (#1226)

Pull request merge
dtarditipushed 1 commit to main • a73b408…900047e • 
on Dec 3, 2023

Add test case.

dtarditicreated issue-1220 • ab566f5 • 
on Dec 3, 2023

Update README and setup/build instructions (#1224)

Pull request merge
dtarditipushed 1 commit to main • 0ff606f…a73b408 • 
on Dec 2, 2023

Fix another typo.

dtarditipushed 1 commit to update-setup-and-build • cd826c7…c598132 • 
on Dec 2, 2023