Search results

Variable with generic type assigned to non-generic

benchmark failureA bug causing a failure in our nightly benchmark testsA bug causing a failure in our nightly benchmark tests

generic

incomplete description

Status: Open.

#734 In correctcomputation/checkedc-clang;

· kyleheadley opened on Oct 21, 2021

2 comments



Better bounds propagation for generic functions

array bounds

generic

rewriter

Status: Open.

#643 In correctcomputation/checkedc-clang;

· kyleheadley opened on Jul 7, 2021

Generics propagation inside functions

constraint graph

enhancementNew feature or requestNew feature or request

generic

Status: Open.

#642 In correctcomputation/checkedc-clang;

· kyleheadley opened on Jul 7, 2021

Add generics to function pointers

enhancementNew feature or requestNew feature or request

function pointer

generic

rewriter

Status: Open.

#641 In correctcomputation/checkedc-clang;

· kyleheadley opened on Jul 7, 2021

Additional Support for Generics

enhancementNew feature or requestNew feature or request

generic

itypes

Status: Open.

#358 In correctcomputation/checkedc-clang;

· kyleheadley opened on Dec 18, 2020

3 comments



_Itype_for_any(T) parameter itype duplicated

generic

itypes

testing

Status: Open.

#216 In correctcomputation/checkedc-clang;

· mwhicks1 opened on Aug 10, 2020

3 comments