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 add debug output of boolexpr | Karel Kočí | 2015-05-02 | |
| | ||||
* | Fixes in scripts and add minisat_args | 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 Dprintf macro | 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 | |
| | ||||
* | write_config update to parse_kconfig changes | Karel Kočí | 2015-05-01 | |
| | ||||
* | Fix missing definition | Karel Kočí | 2015-05-01 | |
| | ||||
* | Fit solution.apply to new changes | 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 | |
| | ||||
* | Add possibility of running step-by-step | Karel Kočí | 2015-04-28 | |
| | ||||
* | Include iteration and phase code to loop | Karel Kočí | 2015-04-28 | |
| | ||||
* | Fix solution.apply error | Karel Kočí | 2015-04-28 | |
| | ||||
* | Add boot phase | Karel Kočí | 2015-04-28 | |
| | ||||
* | Remove spare line from scripts/conf.py | Karel Kočí | 2015-04-28 | |
| | ||||
* | Fix wrong open mode of iteration file in boot | Karel Kočí | 2015-04-27 | |
| | ||||
* | Fix boot benchmark script | Karel Kočí | 2015-04-27 | |
| | ||||
* | Fix missing symbol_map on test launch | Karel Kočí | 2015-04-27 | |
| | ||||
* | Set execution file mode bit on test.py | Karel Kočí | 2015-04-27 | |
| | ||||
* | Finish implementation of test.test | Karel Kočí | 2015-04-27 | |
| | ||||
* | Finish implementation of boot.boot | Karel Kočí | 2015-04-27 | |
| | ||||
* | Change boot.gen_nbscripts to support relative conf paths | Karel Kočí | 2015-04-27 | |
| | ||||
* | Add output_confs generation to solution apply | Karel Kočí | 2015-04-27 | |
| | ||||
* | Chnage conf paths from absolute to relative | Karel Kočí | 2015-04-27 | |
| | ||||
* | Add NBSCRIPT config | Karel Kočí | 2015-04-27 | |
| | ||||
* | fix problems with initram | Karel Kočí | 2015-04-27 | |
| | ||||
* | First implementation of test.py | Karel Kočí | 2015-04-27 | |
| | | | | Not yet finished. | |||
* | Firt implementation of boot.py | Karel Kočí | 2015-04-27 | |
| | | | | Not yet finished. | |||
* | Add initram build | Karel Kočí | 2015-04-27 | |
| | | | | Not working properly yet. | |||
* | Add buildroot default .config | Karel Kočí | 2015-04-26 | |
| | | | | | | On first execution of buildroot targets from root Makefile is now placed nondefault .config file. This new configuration is default configuration except of initram setting. | |||
* | Add initram config | Karel Kočí | 2015-04-26 | |
| | ||||
* | initialize script change documentation | Karel Kočí | 2015-04-26 | |
| | ||||
* | Rename script main_loop to loop | Karel Kočí | 2015-04-26 | |
| | ||||
* | Generate configuration for root Makefile from conf.py | Karel Kočí | 2015-04-26 | |
| | ||||
* | 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 | |
| | ||||
* | Remove configdiff | Karel Kočí | 2015-04-19 | |
| | | | | | This script is not needed any more. Same (and better) behaviour is now implemented in write_config. | |||
* | kernel configuration now calling write_conf instead of make odlconfig hack | Karel Kočí | 2015-04-19 | |
| | | | | Also configuration output is now set as visible. | |||
* | initialize.py use utils get_kernel_env for parse_kconfig() | Karel Kočí | 2015-04-19 | |
| | ||||
* | Add possibility to hide kernel output | Karel Kočí | 2015-04-19 | |
| |