Age | Commit message (Collapse) | Author | Lines | |
---|---|---|---|---|
2021-10-13 | kconfig: exhaustive enumeration of all valid configurations | Daniel Friesel | -0/+6 | |
2021-10-11 | kconfig: explore neighbourhood of int nodes | Daniel Friesel | -1/+3 | |
2021-10-11 | explore-kconfig: store "make nfpkeys" output in data directory | Daniel Friesel | -0/+2 | |
2021-10-08 | explore-kconfig: change default to "make nfpvalues" | Daniel Friesel | -1/+1 | |
2021-10-05 | explore-config: documentation | Daniel Friesel | -2/+6 | |
2021-10-05 | kconfig: allow combination of randconfig and neighbourhood exploration | Daniel Friesel | -5/+24 | |
2020-09-10 | explore-kconfig: add documentation | Daniel Friesel | -0/+12 | |
2020-09-10 | explore-kconfig --neighbourhood: add directory support | Daniel Friesel | -2/+5 | |
2020-09-10 | Add kconfig state space exploration script (random + neighbourhood) | Daniel Friesel | -0/+83 | |