feat(f32): op-completeness for falcon — store/abs/neg/copysign + AAPCS-VFP mixed params (#719)#721

Merged

avrabe merged 3 commits into

mainfrom

feat/719-f32-ops

Jul 11, 2026

Commits on Jul 11, 2026

feat(#719): f32.store + abs/neg/copysign + local.set/tee lowering (thumb-2 VFP)

avrabe
and
claude
committed
feat(#719): mixed f32/int params — AAPCS-VFP independent register pools

avrabe
and
claude
committed
test(#719): f32 ops execution-differential oracle + CI wiring + unit tests

avrabe
and
claude
committed