aboutsummaryrefslogtreecommitdiff
path: root/scripts/parse_kconfig
Commit message (Collapse)AuthorAge
* Fix parse_kconfig choice parsingKarel Kočí2015-09-12
| | | | | | | Parsing choices was implemented wrong. For non-optional choice output rules must contain also dependency of all choice symbols. Because if no choice symbol has fulfilled dependencies, than choice shouldn't be selected.
* 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.
* Implement evaluateKarel Kočí2015-05-16
|
* parse_kconfig fix problems with choice configsKarel 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 MakefileKarel Kočí2015-05-04
| | | | Hide warnings. I am not going to solve them now.
* parse_kconfig change module decode valueKarel Kočí2015-05-04
| | | | In case of default value are modules taken as yes in case of boolean.
* parse_kconfig fix problem with generated rulesKarel Kočí2015-05-04
| | | | | Generated rules were unsatisfiable all the time. Problem was default value of vis variable.
* 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 add debug output of boolexprKarel Kočí2015-05-02
|
* parse_kconfig add missing ruleKarel Kočí2015-05-01
|
* parse_kconfig fix boolexpr_notKarel Kočí2015-05-01
|
* parse_kconfig move debug output before actionKarel Kočí2015-05-01
|
* Fix parse_kconfig symlist_el variables typeKarel Kočí2015-05-01
|
* parse_kconfig add debug outputsKarel Kočí2015-05-01
|
* Add DEBUG and Wall to parse_kconfigKarel Kočí2015-05-01
|
* Fix parse_kconfig symbol_map idsKarel 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.
* parse_kconfig changes before more changes comeKarel Kočí2015-04-30
| | | | This is commit that breaks parse_kconfig program...
* Add prompt variable to parse_kconfigKarel Kočí2015-04-29
|
* parse_kconfig fix wrong behaviour for non prompt symbolsKarel 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 memoryKarel Kočí2015-04-23
|
* parse_kconfig: fix SIGSEGV caused by wrong approach to expression negationKarel Kočí2015-04-23
|
* Rename parser.c to parse.cKarel Kočí2015-04-21
|
* write_config writing loaded configurationKarel Kočí2015-04-19
|
* parse_kconfig change default size of arrayKarel Kočí2015-04-13
| | | | This is only cosmetic.
* parse_kconfig symlist.h move includes to begining of fileKarel Kočí2015-04-12
|
* parse_kconfig fix some warningsKarel Kočí2015-04-12
|
* Add TODO information to code that there should be faster implementationKarel Kočí2015-04-12
|
* Extract file name definitions out from parse_kconfig to sharedKarel Kočí2015-04-12
|
* parse_kconfig change error message to more informativeKarel Kočí2015-04-12
|
* parse_kconfig: complete simple argument parser and formate parse.cKarel Kočí2015-04-12
|
* parse_kconfig clean include in parse.cKarel Kočí2015-04-12
|
* Fix parse_kconfig .gitignore and makefileKarel Kočí2015-04-12
|
* parse_kconfig make builds *.o filesKarel Kočí2015-04-12
| | | | Until now *.o files were not created.
* macros.h moved to shared folderKarel Kočí2015-04-11
|
* parse_kconfig output executable name changed from parser to parseKarel Kočí2015-04-11
|
* Kconfig_parser renamed to parse_kconfigKarel Kočí2015-04-11