]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
kconfig2sat: Implement reading (and checking) of variable symbols
authorMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 18 Oct 2015 21:01:38 +0000 (23:01 +0200)
committerMichal Sojka <sojkam1@fel.cvut.cz>
Sun, 18 Oct 2015 21:01:38 +0000 (23:01 +0200)
commit446d883b47e454394cb238f73e332baebdaa9889
treecb42cea8f5c38b730d8f6e8b329f98f5e6a48c1c
parentb18e229147f700c330302e759b67bc414dd529c2
kconfig2sat: Implement reading (and checking) of variable symbols
kconfig2sat/kconfig2sat.cc