Skip to content

feat: C array-to-pointer decay, array parameters, and scalar pointer indexing (#389) - #390

Merged
leo-aa88 merged 6 commits into
mainfrom
fix/scalar-pointer-index-and-deref-assign
Oct 4, 2026
Merged

feat: C array-to-pointer decay, array parameters, and scalar pointer indexing (#389)#390
leo-aa88 merged 6 commits into
mainfrom
fix/scalar-pointer-index-and-deref-assign

fix: address #390 re-review -- dead store, no re-evaluation, one nati…

3a5c0f3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar