]> rtime.felk.cvut.cz Git - linux-conf-perf.git/history - kconfig2sat
projects / linux-conf-perf.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Allow importing lcp_django from other python scripts
[linux-conf-perf.git] / kconfig2sat /
2015-10-26 Michal Sojkakconfig2sat: Fix single-diff problem generation tree | commitdiff
2015-10-25 Michal Sojkakconfig2sat: Preliminary support for generating pairs... tree | commitdiff
2015-10-25 Michal Sojkakconfig2sat: Cleanup tree | commitdiff
2015-10-25 Michal Sojkakconfig2sat: Implement --varopt tree | commitdiff
2015-10-25 Michal Sojkakconfig2sat almost finished tree | commitdiff
2015-10-20 Michal Sojkakconfig2sat: More work tree | commitdiff
2015-10-19 Michal Sojkakconfig2sat: More work tree | commitdiff
2015-10-18 Michal Sojkakconfig2sat: Prepare for DIMACS CNF generation tree | commitdiff
2015-10-18 Michal Sojkakconfig2sat: Implement reading (and checking) of variab... tree | commitdiff
2015-10-18 Michal Sojkakconfig2sat: More features tree | commitdiff
2015-10-18 Michal SojkaAdd skeleton for kconfig2sat tool tree | commitdiff
2015-10-18 Michal SojkaAdd Kconfig files from Linux v4.2 tree | commitdiff
Automated overhead analysis of Linux configuration options