Age | Commit message (Expand) | 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 |