]> rtime.felk.cvut.cz Git - linux-conf-perf.git/history - scripts/allconfig
projects / linux-conf-perf.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Add skeleton for kconfig2sat tool
[linux-conf-perf.git] / scripts / allconfig /
2015-10-17 Michal SojkaSimplify execution of allconfig tree | commitdiff
2015-10-10 Michal SojkaMore meaningful error message tree | commitdiff
2015-07-28 Karel KočíAllconfig add inv option tree | commitdiff
2015-07-17 Karel KočíIntegrate allconfig tree | commitdiff
2015-07-17 Karel KočíAdd small program for generating complete configuration tree | commitdiff
Automated overhead analysis of Linux configuration options