aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Main loop updateKarel Kočí2015-03-22
|
* kconfig_parser repair errorKarel Kočí2015-03-22
| | | | Wrong rule output for reverse dependency when expression is reduced.
* Kernel configuration is now throwing exception on failureKarel 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 outputKarel Kočí2015-03-22
|
* kconfig_parser: Fix rev_dep and implement verbose level outputKarel 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_parserKarel Kočí2015-03-22
|
* kconfig_parser rewritten and now supports revers dependencyKarel 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-rc2Karel Kočí2015-03-22
|
* Kernel config repair and configurable make argumentsKarel Kočí2015-02-11
|
* Change symbol_map file divider from space to colonKarel Kočí2015-02-03
| | | | Also some other tweaks in kconfigp_parser. Mostly irrelevant.
* Implementing main loopKarel 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 addedKarel 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 .gitignoreKarel Kočí2015-01-14
|
* Output folder added to kconfig_parserKarel Kočí2015-01-14
| | | | Also kconfig folder in programs/src is renamed to kconfig_parser
* Linux folder moved and linux updated to v3.19-rc4Karel Kočí2015-01-14
|
* Add solution_kconfigKarel Kočí2014-12-16
| | | | This script is for setting options from sat generated solution to kconfig.
* Add sat_solutionKarel Kočí2014-12-16
| | | | Added script for minisat input build and execute.
* Add kconfig_parserKarel 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 commitKarel Kočí2014-12-14