This was a fork of Checked C used from 2021-2024. The changes have been merged into the original Checked C repo.
26
stars
3
forks
source link
Update description of program scopes for checked pointer types in specification #491
Open
dtarditi opened 1 year ago
We have two kinds of checked program scopes. This is not clearly described in the Checked C specification. The specification needs to be updated.