This is a placeholder milestone that groups together work needed to implement simple static checking of bounds declarations. By simple, we mean checking that relies no normalization, syntactic equality, and facts about variable equality.
List view
0 issues of 8 selected
- Status: Open.#209 In checkedc/checkedc-clang;
- Status: Open.#212 In checkedc/checkedc-clang;
- Status: Open.#208 In checkedc/checkedc-clang;
- Status: Open.#207 In checkedc/checkedc-clang;
- Status: Open.#108 In checkedc/checkedc-clang;
- Status: Open.#107 In checkedc/checkedc-clang;
- Status: Open.#40 In checkedc/checkedc-clang;
- Status: Open.#39 In checkedc/checkedc-clang;