]> rtime.felk.cvut.cz Git - linux-conf-perf.git/history - kconfig2sat/picosat-960/main.c
projects / linux-conf-perf.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Integrate PicoSAT to kconfig2sat
[linux-conf-perf.git] / kconfig2sat / picosat-960 / main.c
2016-02-26 Karel KočíIntegrate PicoSAT to kconfig2sat blob | commitdiff | raw
Automated overhead analysis of Linux configuration options