Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Implement evaluate | Karel Kočí | 2015-05-16 |
| | |||
* | parse_kconfig fix problems with generated rules to be UNSAT | Karel Kočí | 2015-05-02 |
| | |||
* | 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. | ||
* | parse_kconfig changes before more changes come | Karel Kočí | 2015-04-30 |
| | | | | This is commit that breaks parse_kconfig program... | ||
* | Extract file name definitions out from parse_kconfig to shared | Karel Kočí | 2015-04-12 |
| | |||
* | Kconfig_parser renamed to parse_kconfig | Karel Kočí | 2015-04-11 |