This repository was archived by the owner on Sep 30, 2024. It is now read-only.
The last version of Checked C was v 0.9. We will release a version 1.0 that makes it easier to use Checked C in practice and make sures the documentation clearly describes what is implemented.
List view
0 issues of 0 selected
There are no open issues in this milestone
Add issues to milestones to help organize your work for a particular release or project. Find and add issues with no milestones in this repo.