search

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

Create header file for erasable Checked C annotations #485

Open dtarditi opened 1 year ago

dtarditi commented 1 year ago

We now have compiler support for syntax for Checked C annotations that can be erased via macros. We need to create a simple header file that people can copy into their projects to use the eraseable syntax.