improve: sharper Verrou dd_line attribution (source filter, function scope, -fno-inline)#1437

Merged

sbryngelson merged 3 commits into

MFlowCode:masterfrom

sbryngelson:improve/verrou-attribution

May 14, 2026

Commits on May 13, 2026

improve: sharper Verrou dd_line attribution via source filtering and function scoping
sbryngelson
committed
fp_stability: fix dd_run.sh VERROU_EXCLUDE/VERROU_SOURCE forwarding
sbryngelson
committed

Commits on May 14, 2026

fp_stability: extend control-flow filter to cancellation locs and more patterns
sbryngelson
committed