summaryrefslogtreecommitdiff
path: root/bin/explore-kconfig.py
AgeCommit message (Expand)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
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