| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
| |
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.
|
| |
|
|
| |
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.
|
