Add `-fhoist-locals`, `-finitialize-locals`#721

Open

tahina-pro wants to merge 10 commits into

FStarLang:masterfrom

tahina-pro:_taramana_hoist_locals

Commits on Apr 3, 2026

Add -fhoist-locals pass to hoist local declarations to function top

tahina-pro
and
Copilot
committed
Add -finitialize-locals pass with c23/c99/c89 modes

tahina-pro
and
Copilot
committed
Add test suite for -finitialize-locals

tahina-pro
and
Copilot
committed

Commits on Apr 4, 2026

HoistLocals: preserve comment ordering, hoist from blocks and arrays

tahina-pro
and
Copilot
committed

Commits on Apr 22, 2026

Merge branch 'master' into _taramana_hoist_locals
tahina-pro
authored

Commits on Apr 23, 2026

fix path to krml
tahina-pro
committed