Search results

_Dynamic_check + for loop does not eliminate array bounds checks (-O1/-O2)

Status: Open.

#510 In checkedc/checkedc;

· zhidu-paxl opened on Sep 23, 2025

find-patterns.c sample code does not compile

Status: Open.

#509 In checkedc/checkedc;

· red-avalanche opened on Jul 24, 2025

TyVar support not implemented

Status: Open.

#508 In checkedc/checkedc;

· souragc opened on Oct 22, 2024

New syntax compiler warning

Status: Open.

#507 In checkedc/checkedc;

· souragc opened on Oct 16, 2024

New syntax for generic structs missing.

Status: Open.

#506 In checkedc/checkedc;

· souragc opened on Sep 27, 2024

Arithmetic on Generic types

Status: Open.

#503 In checkedc/checkedc;

· souragc opened on Sep 12, 2024

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

Status: Open.

#501 In checkedc/checkedc;

· dtarditi opened on Sep 1, 2024

Consider removing uses of colon in Checked C syntax

Status: Open.

#500 In checkedc/checkedc;

· dtarditi opened on Sep 1, 2024

Epic: complete support for erasable Checked C syntax

Status: Open.

#499 In checkedc/checkedc;

· dtarditi opened on Sep 1, 2024

Create stand-alone tool for checking Checked C programs compiled with regular C compilers.

enhancement

Status: Open.

#498 In checkedc/checkedc;

· dtarditi opened on Sep 1, 2024

Create examples of using the optional header file for erasable syntax.

Status: Open.

#497 In checkedc/checkedc;

· dtarditi opened on Sep 1, 2024

Create header file for erasable Checked C annotations

Status: Open.

#496 In checkedc/checkedc;

· dtarditi opened on Sep 1, 2024