Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Change definition to standard pointer arithmetic | Karel Kočí | 2015-03-26 |
| | |||
* | Add source .config backup | Karel Kočí | 2015-03-24 |
| | |||
* | Implement requirement generation from kernel .config | Karel Kočí | 2015-03-24 |
| | |||
* | Reset functionality exported from main_loop | Karel Kočí | 2015-03-23 |
| | | | | But not working yet | ||
* | Fix NONAMEGEN generation problem | Karel Kočí | 2015-03-23 |
| | | | | NONAMEGENs were written to .config file because they were not ignored right. | ||
* | Try to repair reset functionality | Karel Kočí | 2015-03-22 |
| | | | | | Build folder is not removed. But this is not fundamental. | ||
* | remove unneeded gitignore file in programs folder | Karel Kočí | 2015-03-22 |
| | |||
* | Add missing kernel_conf_output variable in conf.py | Karel Kočí | 2015-03-22 |
| | |||
* | Main loop update | Karel Kočí | 2015-03-22 |
| | |||
* | kconfig_parser repair error | Karel Kočí | 2015-03-22 |
| | | | | Wrong rule output for reverse dependency when expression is reduced. | ||
* | Kernel configuration is now throwing exception on failure | Karel Kočí | 2015-03-22 |
| | |||
* | kconfig_parser raise debug verbose level to 3 and add id print to ↵ | Karel Kočí | 2015-03-22 |
| | | | | "working.." message | ||
* | Add possibility to hide programs output | Karel Kočí | 2015-03-22 |
| | |||
* | kconfig_parser: Fix rev_dep and implement verbose level output | Karel Kočí | 2015-03-22 |
| | | | | | | | | After this fix, generated dependency should be all right. Verbose output implementation is only temporally. It needs better implementation. And command line arguments should be parsed with argp. | ||
* | Remove rest of old implementation from kconfig_parser | Karel Kočí | 2015-03-22 |
| | |||
* | kconfig_parser rewritten and now supports revers dependency | Karel Kočí | 2015-03-22 |
| | | | | | Most of the kconfig_parser is changed. Now dependency are not copied before transfer to CNF and CNF expression is direcly extracted from kconfíg parsed output structures. | ||
* | Update Linux to 4.0-rc2 | Karel Kočí | 2015-03-22 |
| | |||
* | Kernel config repair and configurable make arguments | Karel Kočí | 2015-02-11 |
| | |||
* | Change symbol_map file divider from space to colon | Karel Kočí | 2015-02-03 |
| | | | | Also some other tweaks in kconfigp_parser. Mostly irrelevant. | ||
* | Implementing main loop | Karel Kočí | 2015-02-03 |
| | | | | | | | | These new scripts are part of main loop. kernel is not finished!! Divides kconfig_parser, sat_solution to better named modules. Phasing and iteration is implemented for loop watching. | ||
* | Python scripts added | Karel Kočí | 2015-01-14 |
| | | | | | | | | conf.py are files for configuration, all configuration is in global conf.py and others are just sourcing that kconfig_parser.py is executing kconfig_parser sat_solution.py is partly implemented, in state of this commit is not working properly. | ||
* | Ignore for python cache added to .gitignore | Karel Kočí | 2015-01-14 |
| | |||
* | Output folder added to kconfig_parser | Karel Kočí | 2015-01-14 |
| | | | | Also kconfig folder in programs/src is renamed to kconfig_parser | ||
* | Linux folder moved and linux updated to v3.19-rc4 | Karel Kočí | 2015-01-14 |
| | |||
* | Add solution_kconfig | Karel Kočí | 2014-12-16 |
| | | | | This script is for setting options from sat generated solution to kconfig. | ||
* | Add sat_solution | Karel Kočí | 2014-12-16 |
| | | | | Added script for minisat input build and execute. | ||
* | Add kconfig_parser | Karel Kočí | 2014-12-14 |
| | | | | | kconfig_parser is placed to new folder tree. In folder "programs" will be all programs. Files in folder programs/src/kconfig/kconfig are taken from kernel v3.18-rc3. In future, they should be updated if new changes will be added to kernel. | ||
* | Initial commit | Karel Kočí | 2014-12-14 |