All issues

Search results

error.h: extension guide recommends domain enums, but no module defines one — pick the intended path

questionFurther information is requestedFurther information is requested

Status: Open.

Feature

#11 In eclipse-canon-c/Canon-C;

· Fikoko opened on Sep 12, 2026

_fmt and _range extensions are defered at vec operations. On hold till range and stringbuff

Status: Open.

Task

#10 In eclipse-canon-c/Canon-C;

· Fikoko opened on Jul 18, 2026

CompCert CI evaluation stream: portability evidence under a formally verified compiler

enhancementNew feature or requestNew feature or request

Status: Open.

Task

#9 In eclipse-canon-c/Canon-C;

· Fikoko opened on Jul 18, 2026

Evaluation: aiT WCET analyzability of Canon-C primitives (library-side timing predictability)

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#8 In eclipse-canon-c/Canon-C;

· Fikoko opened on Jul 18, 2026

Evaluation: GCC/Frama-C dataflow analysis for ownership annotations (owned/borrowed/moved/dropped)

enhancementNew feature or requestNew feature or request

Status: Open.

Feature

#7 In eclipse-canon-c/Canon-C;

· Fikoko opened on Jul 18, 2026