]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
kconfig2sat: More work
authorMichal Sojka <sojkam1@fel.cvut.cz>
Tue, 20 Oct 2015 09:50:35 +0000 (11:50 +0200)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Tue, 20 Oct 2015 09:50:35 +0000 (11:50 +0200)
commit9bd7315c4fbe7556d899d63630e9eca9c6005399
tree26243ce084f1963e0184a124b45aae21991cc14b
parent2d6ec056c8702c157e243b6ca6f98bb568f7d1ef
kconfig2sat: More work
kconfig2sat/kconfig2sat.cc
kconfig2sat/lcp_data.h