Framework to generate config checks: specification#184

Open

gilles-peskine-arm wants to merge 9 commits intoMbed-TLS:mainfrom

gilles-peskine-arm:config-error-on-removed-options-spec

Commits on Jul 14, 2025

Commits on Jul 31, 2025

We can now have generated checks on the finalized config as well
gilles-peskine-arm
committed

Commits on Sep 15, 2025

Mention how config checks are generated from historical information about config symbols
gilles-peskine-arm
committed