Fix param names automatically#2602

Draft

edgarcosta wants to merge 2 commits into

flintlib:mainfrom

edgarcosta:fix-param-names

Commits on Mar 11, 2026

Add parameter name consistency checker for headers, docs, and sources
edgarcosta
committed
Detect swapped parameters and warn about possible bugs
edgarcosta
committed