| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | parse_kconfig adding proper visibility dependency | Karel 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 UNSAT | Karel Kočí | 2015-05-02 |
| | | |||
| * | parse_kconfig fix boolexpr_not | Karel Kočí | 2015-05-01 |
| | | |||
| * | parse_kconfig rewriten | Karel Kočí | 2015-05-01 |
| parse_kconfig should now generate full dependency. It is not transforming whole expression to CNF, but only pairs. | |||
