Skip to content
This repository was archived by the owner on Sep 30, 2024. It is now read-only.

Activity

Showing most recent first

Update README.md

dtarditipushed 1 commit to main • 58b363b…d2ed3c9 • 
on Sep 30, 2024

Deleted branch

dtarditideleted fix-tests-on-macos • 
on Aug 22, 2024

Deleted branch

dtarditideleted checkedc-v1 • 
on Aug 22, 2024

Deleted branch

dtarditideleted update-readme • 
on Aug 22, 2024

Update some expected error messages to reflect new clang changes.

dtarditipushed 2 commits to 17-init-main • dbdb9e5…df0c798 • 
on May 30, 2024

Update error messages for pointer_casts.c test.

dtarditipushed 1 commit to 17-init-main • 877fc24…dbdb9e5 • 
on May 27, 2024

Fix issues related to clang 17 upgrade.

dtarditicreated 17-init-main • 877fc24 • 
on May 12, 2024

Update README.md (#504)

Pull request merge
dtarditipushed 1 commit to main • 936ad21…58b363b • 
on Dec 22, 2023

Move build status again.

dtarditipushed 1 commit to update-readme • cea6481…abc19b9 • 
on Dec 22, 2023

Put build status where it will be noticed.

dtarditipushed 1 commit to update-readme • 53316a3…cea6481 • 
on Dec 20, 2023

More updates to publications.

dtarditipushed 1 commit to update-readme • 7edb358…53316a3 • 
on Dec 20, 2023

Update publication list.

dtarditipushed 1 commit to update-readme • 1ec4e12…7edb358 • 
on Dec 20, 2023

Improve wording.

dtarditipushed 1 commit to update-readme • f60e92a…1ec4e12 • 
on Dec 20, 2023

Update README.md

dtarditicreated update-readme • f60e92a • 
on Dec 20, 2023

Declare Version 1.0 of the Checked C spec.

dtarditipushed 1 commit to main • 84ae80f…936ad21 • 
on Nov 8, 2023

add a flag to only add typematic changes, or only checked-c or both

arunkumarbhattarpushed 1 commit to main • 3ea0294…84ae80f • 
on Nov 7, 2023

Update Checked C specification to match the compiler implementation p…

Pull request merge
dtarditipushed 1 commit to main • 9544baf…3ea0294 • 
on Jul 19, 2023

Fix some typos.

dtarditipushed 1 commit to checkedc-v1 • 71f6376…a180ea6 • 
on Jul 19, 2023

Fix Checked C tests on Mac OS (#502)

Pull request merge
dtarditipushed 1 commit to main • a37445f…9544baf • 
on Jul 19, 2023

Fix remaining tests.

dtarditipushed 2 commits to fix-tests-on-macos • 5ae7e10…fe24d22 • 
on Jul 19, 2023

Conditionalize SIGTRAP in 2nd test.

dtarditipushed 2 commits to fix-tests-on-macos • cb538a0…5ae7e10 • 
on Jul 19, 2023

Failing checks cause a SIGTRAP on ARM64.

dtarditicreated fix-tests-on-macos • cb538a0 • 
on Jul 19, 2023

Fix some typos and make wording more succinct.

dtarditicreated checkedc-v1 • 71f6376 • 
on Jul 8, 2023

Deleted branch

dtarditideleted checkedc-v2 • 
on Jul 8, 2023

Update README.md

dtarditipushed 1 commit to main • 3c8b3fc…a37445f • 
on Jul 8, 2023

Update README.md

dtarditipushed 1 commit to main • 7affd42…3c8b3fc • 
on Jul 8, 2023

Merge changes for pointer to structures.

dtarditipushed 2 commits to checkedc-v2 • e1826e7…db4c4b2 • 
on Jun 27, 2023

Start moving content out of pointer to arrayptrs chapter.

dtarditipushed 3 commits to checkedc-v2 • 38d99c7…e1826e7 • 
on Jun 27, 2023

Workaround mysterious LateX error involving lstlisting.

dtarditipushed 1 commit to checkedc-v2 • ad59222…38d99c7 • 
on Jun 26, 2023

Add missing file.

dtarditipushed 1 commit to checkedc-v2 • 38cfd9f…ad59222 • 
on Jun 26, 2023