summaryrefslogtreecommitdiff
path: root/bin/explore-kconfig.py
AgeCommit message (Collapse)AuthorLines
2023-12-21explore-kconfig: notify about estimated remaining exploration timeBirte Kristina Friesel-2/+14
2022-11-09explore-kconfig: add --random-int to set random integer valuesDaniel Friesel-1/+6
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: support repeated measurements of identical configurationsDaniel Friesel-0/+16
2022-10-18explore-kconfig: --enumerate may not workDaniel Friesel-1/+3
2022-09-27explore-kconfig: fix off-by-one in randconfig explorationDaniel Friesel-1/+1
2022-09-21explore-kconfig: --random: ignore failed buildsDaniel Friesel-3/+8
2021-10-13kconfig: exhaustive enumeration of all valid configurationsDaniel Friesel-0/+6
2021-10-11kconfig: explore neighbourhood of int nodesDaniel Friesel-1/+3
2021-10-11explore-kconfig: store "make nfpkeys" output in data directoryDaniel Friesel-0/+2
2021-10-08explore-kconfig: change default to "make nfpvalues"Daniel Friesel-1/+1
2021-10-05explore-config: documentationDaniel Friesel-2/+6
2021-10-05kconfig: allow combination of randconfig and neighbourhood explorationDaniel Friesel-5/+24
2020-09-10explore-kconfig: add documentationDaniel Friesel-0/+12
2020-09-10explore-kconfig --neighbourhood: add directory supportDaniel Friesel-2/+5
2020-09-10Add kconfig state space exploration script (random + neighbourhood)Daniel Friesel-0/+83
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-24 08:47:04 +0000