Handle struct field write through array index in emit#72

Open

angelica-moreira wants to merge 3 commits into

mainfrom

fix/emit-struct-array-field-write

Commits on Mar 5, 2026

Emit struct field writes through array index

angelica-moreira
and
Copilot
committed
Add update_arr_with to Pulse.Lib.C.Array

angelica-moreira
and
Copilot
committed
update the code to be more generic and emit fstar code instead of pulse only syntax. I also added ensures cababilities
angelica-moreira
committed