]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
projects / linux-conf-perf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7e586be) | patch
kconfig2sat: Preliminary support for generating pairs of "single-diff" configurations
authorMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 25 Oct 2015 22:53:48 +0000 (23:53 +0100)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 25 Oct 2015 22:53:48 +0000 (23:53 +0100)
commitcf1496bc572e2d339b02186eac36f4413eda8453
tree58d9466cdc30970bbc2948d5a12dc22b81ed01e1tree | snapshot
parent7e586bef121a66898c00e150a9273a8c1f2b5956commit | diff
kconfig2sat: Preliminary support for generating pairs of "single-diff" configurations

i.e. configurations which differ in just one option.
kconfig2sat/kconfig2sat.cc diff | blob | history
Automated overhead analysis of Linux configuration options