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

Move static checking descriptions of bounds to the end of the specification. #494

Closed dtarditi closed 1 year ago

dtarditi commented 1 year ago

Currently we describe bounds declarations and follow it with a chapter providing a long, detailed description of the static checking of bounds declarations. It would be better to move that to the end of the specification. The current organization disrupts the flow of the specification for readers who are mostly interested in the extension features.

dtarditi commented 1 year ago

In-progress: see this branch: https://github.com/checkedc/checkedc/tree/checkedc-v1