]> rtime.felk.cvut.cz Git - linux-conf-perf.git/history - scripts/kconfig2dot
projects / linux-conf-perf.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
kconfig2sat: More work
[linux-conf-perf.git] / scripts / kconfig2dot /
2015-10-11 Michal SojkaUpdate Makefile for C++ tree | commitdiff
2015-10-11 Michal Sojkakconfig2dot: Eliminate parallel edges between common... tree | commitdiff
2015-10-11 Michal Sojkakconfig2dot: Convert to C++ tree | commitdiff
2015-10-11 Michal Sojkakconfig2dot: Minor changes tree | commitdiff
2015-10-10 Michal Sojkakconfig2dot: Few fixes + added TODO (rev_dep) tree | commitdiff
2015-10-10 Michal SojkaAdd kconfig2dot tool tree | commitdiff
Automated overhead analysis of Linux configuration options