Repository navigation

More C changes - #158

Merged

uecker merged 9 commits into

cdervis:mainfrom

Apr 3, 2026

Merged

More C changes#158
uecker merged 9 commits into
cdervis:mainfrom
uecker:main

Commits on Apr 3, 2026
- C2Y: Remove 'auto' placeholder type entry
  uecker
  committed
  1de8c94
- C23: GCC supports empty initializers fully
  uecker
  committed
  ad0b073
- C2Y: GCC implements constraints related to definiton of main
  uecker
  committed
  f5ac6db
- C99: GCC supports VM types
  uecker
  committed
  3f0d3a8
- C2Y: member access clarification
  uecker
  committed
  c354f3b
- C: variably modified types fixes
  uecker
  committed
  f0fdcfe
- C: split-off content for vm types
  uecker
  committed
  98a17d9
- C23: labels for clang
  uecker
  committed
  c55931c
- C23: add partial program correctness
  uecker
  committed
  d9b0bdb