Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Simplify parse_kconfig generated CNF formulas | Karel 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. | ||
* | Implement evaluate | Karel Kočí | 2015-05-16 |
| | |||
* | parse_kconfig fix problems with choice configs | Karel Kočí | 2015-05-05 |
| | | | | | Choice configs has now own boolean expression. Also fixing problem with i variable. That causes that for some variables no cfn equations were build. | ||
* | Small change in parse_kconfig Makefile | Karel Kočí | 2015-05-04 |
| | | | | Hide warnings. I am not going to solve them now. | ||
* | parse_kconfig change module decode value | Karel Kočí | 2015-05-04 |
| | | | | In case of default value are modules taken as yes in case of boolean. | ||
* | parse_kconfig fix problem with generated rules | Karel Kočí | 2015-05-04 |
| | | | | | Generated rules were unsatisfiable all the time. Problem was default value of vis variable. | ||
* | 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 add debug output of boolexpr | Karel Kočí | 2015-05-02 |
| | |||
* | parse_kconfig add missing rule | Karel Kočí | 2015-05-01 |
| | |||
* | parse_kconfig fix boolexpr_not | Karel Kočí | 2015-05-01 |
| | |||
* | parse_kconfig move debug output before action | Karel Kočí | 2015-05-01 |
| | |||
* | Fix parse_kconfig symlist_el variables type | Karel Kočí | 2015-05-01 |
| | |||
* | parse_kconfig add debug outputs | Karel Kočí | 2015-05-01 |
| | |||
* | Add DEBUG and Wall to parse_kconfig | Karel Kočí | 2015-05-01 |
| | |||
* | Fix parse_kconfig symbol_map ids | 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. | ||
* | parse_kconfig changes before more changes come | Karel Kočí | 2015-04-30 |
| | | | | This is commit that breaks parse_kconfig program... | ||
* | Add prompt variable to parse_kconfig | Karel Kočí | 2015-04-29 |
| | |||
* | parse_kconfig fix wrong behaviour for non prompt symbols | Karel Kočí | 2015-04-24 |
| | | | | | Non prompt symbols should be selected always as their dependencies are satisfied. This changes adds generation of relevant rules. | ||
* | parse_kconfig: fix SIGSEGV caused by uninitialized memory | Karel Kočí | 2015-04-23 |
| | |||
* | parse_kconfig: fix SIGSEGV caused by wrong approach to expression negation | Karel Kočí | 2015-04-23 |
| | |||
* | Rename parser.c to parse.c | Karel Kočí | 2015-04-21 |
| | |||
* | write_config writing loaded configuration | Karel Kočí | 2015-04-19 |
| | |||
* | parse_kconfig change default size of array | Karel Kočí | 2015-04-13 |
| | | | | This is only cosmetic. | ||
* | parse_kconfig symlist.h move includes to begining of file | Karel Kočí | 2015-04-12 |
| | |||
* | parse_kconfig fix some warnings | Karel Kočí | 2015-04-12 |
| | |||
* | Add TODO information to code that there should be faster implementation | Karel Kočí | 2015-04-12 |
| | |||
* | Extract file name definitions out from parse_kconfig to shared | Karel Kočí | 2015-04-12 |
| | |||
* | parse_kconfig change error message to more informative | Karel Kočí | 2015-04-12 |
| | |||
* | parse_kconfig: complete simple argument parser and formate parse.c | Karel Kočí | 2015-04-12 |
| | |||
* | parse_kconfig clean include in parse.c | Karel Kočí | 2015-04-12 |
| | |||
* | Fix parse_kconfig .gitignore and makefile | Karel Kočí | 2015-04-12 |
| | |||
* | parse_kconfig make builds *.o files | Karel Kočí | 2015-04-12 |
| | | | | Until now *.o files were not created. | ||
* | macros.h moved to shared folder | Karel Kočí | 2015-04-11 |
| | |||
* | parse_kconfig output executable name changed from parser to parse | Karel Kočí | 2015-04-11 |
| | |||
* | Kconfig_parser renamed to parse_kconfig | Karel Kočí | 2015-04-11 |