| Commit message (Collapse) | Author | Age |
|
|
|
|
|
|
| |
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.
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
| |
Choice configs has now own boolean expression.
Also fixing problem with i variable. That causes that for some variables no cfn equations were build.
|
|
|
|
| |
In case of default value are modules taken as yes in case of boolean.
|
|
|
|
|
| |
Generated rules were unsatisfiable all the time.
Problem was default value of vis variable.
|
|
|
|
| |
For unknown reasons, output rules with generated default solution are not satisfiable.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
| |
parse_kconfig should now generate full dependency.
It is not transforming whole expression to CNF, but only pairs.
|
|
|
|
| |
This is commit that breaks parse_kconfig program...
|
| |
|
|
|
|
|
| |
Non prompt symbols should be selected always as their dependencies are satisfied.
This changes adds generation of relevant rules.
|
| |
|
|
|