linux-conf-perf/scripts/parse_kconfig, branch masterTool for automatic performance analysis of Linuxhttp://git.cynerd.cz/linux-conf-perf/atom?h=master2015-09-17T11:03:02ZFix parse_kconfig symbol default2015-09-17T11:03:02ZKarel Kočícynerd@email.cz2015-09-17T11:03:02Zurn:sha1:08d906b110f6a1a9985c4e03a13a2a97b0aaf818
Generated rules for symbols default values was used without information
about their order. Kconfig documentation specifies that only first
valid default value specification should be used.
Fix parse_kconfig choice parsing2015-09-12T09:46:26ZKarel Kočícynerd@email.cz2015-09-12T09:46:26Zurn:sha1:e94207efe93141ce2d58436c56ea4271948bf148
Parsing choices was implemented wrong. For non-optional choice output
rules must contain also dependency of all choice symbols. Because if no
choice symbol has fulfilled dependencies, than choice shouldn't be
selected.
Simplify parse_kconfig generated CNF formulas2015-07-17T10:07:08ZKarel Kočícynerd@email.cz2015-07-17T09:41:50Zurn:sha1:485c55bcca5ad0480cf3c73b006a98e26ccc3f52
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.
Implement evaluate2015-05-16T12:32:32ZKarel Kočícynerd@email.cz2015-05-16T12:32:32Zurn:sha1:599690760476bf7c9c2be226c40cc70c813aa60dparse_kconfig fix problems with choice configs2015-05-05T09:22:50ZKarel Kočícynerd@email.cz2015-05-05T09:22:50Zurn:sha1:20caa5bb744b543b4a55ef7b2d8432e758bb26bb
Choice configs has now own boolean expression.
Also fixing problem with i variable. That causes that for some variables no cfn equations were build.
Small change in parse_kconfig Makefile2015-05-04T20:50:48ZKarel Kočícynerd@email.cz2015-05-04T20:50:48Zurn:sha1:bb3fc589961d155bd7cabd3c695f726b69136c14
Hide warnings. I am not going to solve them now.
parse_kconfig change module decode value2015-05-04T20:47:53ZKarel Kočícynerd@email.cz2015-05-04T20:47:53Zurn:sha1:7d9ea0394ec41f75fd860e1d267ecf3cc3f93ff4
In case of default value are modules taken as yes in case of boolean.
parse_kconfig fix problem with generated rules2015-05-04T19:57:57ZKarel Kočícynerd@email.cz2015-05-04T19:57:57Zurn:sha1:873c7efe496cfd2398b750a616781a5234ae3c6b
Generated rules were unsatisfiable all the time.
Problem was default value of vis variable.
parse_kconfig adding proper visibility dependency2015-05-04T18:19:57ZKarel Kočícynerd@email.cz2015-05-04T18:19:57Zurn:sha1:d837647515b59137a837c3f67dacfc9b7ad3e981
For unknown reasons, output rules with generated default solution are not satisfiable.
parse_kconfig fix problems with generated rules to be UNSAT2015-05-02T11:29:49ZKarel Kočícynerd@email.cz2015-05-02T11:29:49Zurn:sha1:e6cd8a42dd9d0be35e9d12a9d6feb329f1ed88a9