Epic: complete support for erasable Checked C syntax

checkedc / checkedc-fork

This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.

Other

26 stars 3 forks source link

Open dtarditi opened 1 year ago

dtarditi commented 1 year ago

We have the following work items to do:

Create an optional header file: #485
Create several examples of using the optional header file in code that compiles with and without a compiler that supports Checked C.: #486
Create Wiki documentation explaining how to write code using the erasable code. issue #487.
Update the Checked C specification to describe the new syntax. #488.

Issue #467 provides some feedback on the overall idea.

arunkumarbhattar commented 1 year ago

I shall work on this