summaryrefslogtreecommitdiff
path: root/lib/kconfig.py
AgeCommit message (Collapse)AuthorLines
2022-11-09explore-kconfig: add --random-int to set random integer valuesDaniel Friesel-3/+27
by default, "make randconfig" / "kconfig-conf --randconfig" leaves integers at their default values. This is not particularly helpful when benchmarking product lines whose performance attributes are affected by numeric features.
2022-10-20kconfig: use logger.debug rather than print for debug outputDaniel Friesel-1/+1
2022-10-20kconfig: support repeated measurements of identical configurationsDaniel Friesel-59/+111
2022-05-20Kconfig: support relative pathsDaniel Friesel-1/+1
2022-05-20Add a test benchmark for explore-kconfigDaniel Friesel-10/+18
2021-11-19kconfig exploration: 5 values should be sufficientDaniel Friesel-1/+1
2021-10-26kconfig loader: load kconfig from its base directoryDaniel Friesel-12/+1
this ensures that source statements are handled correctly
2021-10-26kconfig: enter project directory before loading kconfigDaniel Friesel-3/+18
Otherwise, "source" statements will break
2021-10-26kconfig: always store config hash; handle randconfig without KCONFIG_SEEDDaniel Friesel-1/+4
2021-10-14kconfig range enumeration: first valid condition winsDaniel Friesel-0/+1
2021-10-14kconfig: properly evaluate conditionsDaniel Friesel-1/+1
2021-10-13kconfig: exhaustive enumeration of all valid configurationsDaniel Friesel-1/+188
2021-10-11kconfig: explore neighbourhood of int nodesDaniel Friesel-29/+49
2021-10-11explore-kconfig: store "make nfpkeys" output in data directoryDaniel Friesel-0/+5
2021-10-05kconfig: allow combination of randconfig and neighbourhood explorationDaniel Friesel-3/+8
2020-09-10kconfig experiment: store Kconfig hashDaniel Friesel-6/+15
2020-09-10Add kconfig state space exploration script (random + neighbourhood)Daniel Friesel-0/+213