]> rtime.felk.cvut.cz Git - linux-conf-perf.git/history - kconfig2sat/kconfig2sat.cc
projects / linux-conf-perf.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
kconfig2sat: More work
[linux-conf-perf.git] / kconfig2sat / kconfig2sat.cc
2015-10-20 Michal Sojkakconfig2sat: More work blob | commitdiff | raw
2015-10-19 Michal Sojkakconfig2sat: More work blob | commitdiff | raw | diff to current
2015-10-18 Michal Sojkakconfig2sat: Prepare for DIMACS CNF generation blob | commitdiff | raw | diff to current
2015-10-18 Michal Sojkakconfig2sat: Implement reading (and checking) of variab... blob | commitdiff | raw | diff to current
2015-10-18 Michal Sojkakconfig2sat: More features blob | commitdiff | raw | diff to current
2015-10-18 Michal SojkaAdd skeleton for kconfig2sat tool blob | commitdiff | raw | diff to current
Automated overhead analysis of Linux configuration options