aboutsummaryrefslogtreecommitdiff
path: root/scripts/parse_kconfig/boolexpr.c
Commit message (Collapse)AuthorAge
* parse_kconfig adding proper visibility dependencyKarel Kočí2015-05-04
| | | | For unknown reasons, output rules with generated default solution are not satisfiable.
* parse_kconfig fix problems with generated rules to be UNSATKarel Kočí2015-05-02
|
* parse_kconfig fix boolexpr_notKarel Kočí2015-05-01
|
* parse_kconfig rewritenKarel Kočí2015-05-01
parse_kconfig should now generate full dependency. It is not transforming whole expression to CNF, but only pairs.