This repository has been archived by the owner on Sep 30, 2024. It is now read-only.

Update description of program scopes for checked pointer types in specification #491

Open

dtarditi opened this issue Jul 11, 2023 · 0 comments

Milestone

Checked C v1.0 re...

Member

dtarditi commented Jul 11, 2023

We have two kinds of checked program scopes. This is not clearly described in the Checked C specification. The specification needs to be updated.

dtarditi added this to the Checked C v1.0 release milestone

dtarditi added this to Checked C Board

dtarditi mentioned this issue

Epic: bring Checked C specification into agreement with the compiler implementation #490

Open

dtarditi moved this to Todo in Checked C Board

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.