summaryrefslogtreecommitdiff
path: root/bin/explore-kconfig.py
AgeCommit message (Expand)AuthorLines
2020-09-30explore-kconfig: remove unused versuchung importsDaniel Friesel-4/+0
2020-09-24show failing and nop symbolsDaniel Friesel-1/+2
2020-09-18explore-kconfig: explore neighbourhood of working random configurationsDaniel Friesel-1/+10
2020-09-17configurable Kconfig filename and randconfig commandDaniel Friesel-0/+13
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