]> rtime.felk.cvut.cz Git - linux-conf-perf.git/commit
projects / linux-conf-perf.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0369c9e) | patch
Simplify parse_kconfig generated CNF formulas
authorKarel Kočí <cynerd@email.cz>
Fri, 17 Jul 2015 09:41:50 +0000 (11:41 +0200)
committerKarel Kočí <cynerd@email.cz>
Fri, 17 Jul 2015 10:07:08 +0000 (12:07 +0200)
commit485c55bcca5ad0480cf3c73b006a98e26ccc3f52
tree8e237c9bd33c8d58e928ef65fceb098b030848detree | snapshot
parent0369c9efcd941d9f76364568d56024b841aa66b9commit | diff
Simplify parse_kconfig generated CNF formulas

Not isn't now generated using additional variable.
All head formulas for all configuration options are now printed directly as formulas. Not build using functions.
scripts/parse_kconfig/cnfbuild.c diff | blob | history
scripts/parse_kconfig/parse.c diff | blob | history
Automated overhead analysis of Linux configuration options