aboutsummaryrefslogtreecommitdiff
path: root/scripts/parse_kconfig/cnfbuild.c
Commit message (Collapse)AuthorAge
* Simplify parse_kconfig generated CNF formulasKarel Kočí2015-07-17
| | | | | 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.
* 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.
* parse_kconfig changes before more changes comeKarel Kočí2015-04-30
This is commit that breaks parse_kconfig program...