8 Commits

Author	SHA1	Message	Date
Gilles Peskine	4185efafe4	Fix non-determinism when generating mbedtls_config_check_user.h ... Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2026-01-07 10:28:40 +01:00
Gilles Peskine	1de879c6dd	Also reject internal macros that weren't options in 3.6 ... Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2026-01-05 16:29:21 +01:00
Gilles Peskine	30323afa6c	Read current data rather than data about 4.0 ... It doesn't matter how a macro was used in a previous minor version of the library. What matters is current information about options and internal symbols, and information about past versions from which a macro may have been removed. The output is mostly the same, but: * Macros that were options in 3.6, became internal in 4.0 and have now been completely removed are now shown as removed, not internal. * Macros that were options in 3.6, were completely removed in 4.0, and are now back but internal, are now shown as internal, not removed. * Macros that were options in 3.6, were removed in 4.0 and are back to being options are no longer rejected. * Macros that were options in 3.6, were removed in 4.0 and are back to being internal derived macros in TF-PSA-Crypto are no longer rejected. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2026-01-05 16:29:21 +01:00
Gilles Peskine	35821e7c77	Switch from config_history to config_macros ... Switch from the `config_history` module to the new module `config_macros`. No behavior change. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2026-01-05 16:29:21 +01:00
Gilles Peskine	c45d9ac4c2	Allow setting removed options that are now always on ... Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2025-09-24 17:20:35 +02:00
Gilles Peskine	8e44a94d39	Automatically generate checkers for removed options ... Read the list of historical config options in 3.6, compare that to 1.0/4.0 and emit the appropriate checkers. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2025-09-24 17:20:35 +02:00
Gilles Peskine	24273c06db	Checks for crypto options or internal macros set in mbedtls ... Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2025-09-24 17:20:35 +02:00
Gilles Peskine	3374f6e90b	Generate checks for bad options in the config file ... Just a proof-of-concept for now. Interesting checks will come later. Signed-off-by: Gilles Peskine <Gilles.Peskine@arm.com>	2025-09-19 13:36:24 +02:00