aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
...
* Implemented global MakefileKarel Kočí2015-03-26
| | | | This global makefile can execute main_loop as also clean whole project.
* Remove residue of old required implementationKarel Kočí2015-03-26
|
* Repair wrong phasingKarel Kočí2015-03-26
| | | | Only comma was missing.
* Remove old import from main_loopKarel Kočí2015-03-26
|
* Added known problemsKarel Kočí2015-03-26
| | | | | This file is there only temporally for storing known problems that are not fatal. Those problems should be resolved.
* Loop phases changeKarel Kočí2015-03-26
| | | | Phases are now refersed as numbers in code.
* kconfig_parser moved from programs to scriptsKarel Kočí2015-03-26
| | | | This way all executable code is inside scripts directory.
* Add .config checkKarel Kočí2015-03-26
| | | | | | | | config is not yet part of main_loop From now it seems that config is changing a lot of configs to diferent setting. Is it because of missing dependency for sat? or because of configuration restart. Shouldn't we be also exporting all non bool/tri state configs?
* Setup oldconfig to yes to allKarel Kočí2015-03-26
| | | | | | In generated .config file are missing all non bool/tri state configs (except those from defconfig). This solution is only temporally. This way configuration never fails.
* Change definition to standard pointer arithmeticKarel Kočí2015-03-26
|
* Add source .config backupKarel Kočí2015-03-24
|
* Implement requirement generation from kernel .configKarel Kočí2015-03-24
|
* Reset functionality exported from main_loopKarel Kočí2015-03-23
| | | | But not working yet
* Fix NONAMEGEN generation problemKarel Kočí2015-03-23
| | | | NONAMEGENs were written to .config file because they were not ignored right.
* Try to repair reset functionalityKarel Kočí2015-03-22
| | | | | Build folder is not removed. But this is not fundamental.
* remove unneeded gitignore file in programs folderKarel Kočí2015-03-22
|
* Add missing kernel_conf_output variable in conf.pyKarel Kočí2015-03-22
|
* 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