Added known problems

This file is there only temporally for storing known problems that are not fatal.
Those problems should be resolved.

Loop phases change

Phases are now refersed as numbers in code.

kconfig_parser moved from programs to scripts

This way all executable code is inside scripts directory.

Add .config check

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 all

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 arithmetic

Add source .config backup

Implement requirement generation from kernel .config

Reset functionality exported from main_loop

But not working yet

Fix NONAMEGEN generation problem

NONAMEGENs were written to .config file because they were not ignored right.

Try to repair reset functionality

Build folder is not removed.
But this is not fundamental.

remove unneeded gitignore file in programs folder

Add missing kernel_conf_output variable in conf.py

Main loop update

kconfig_parser repair error

Wrong rule output for reverse dependency when expression is reduced.

Kernel configuration is now throwing exception on failure

kconfig_parser raise debug verbose level to 3 and add id print to "working.." message

Add possibility to hide programs output

kconfig_parser: Fix rev_dep and implement verbose level output

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

kconfig_parser rewritten and now supports revers dependency

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

Kernel config repair and configurable make arguments

Change symbol_map file divider from space to colon

Also some other tweaks in kconfigp_parser. Mostly irrelevant.

Implementing main loop

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

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

Output folder added to kconfig_parser

Also kconfig folder in programs/src is renamed to kconfig_parser

Linux folder moved and linux updated to v3.19-rc4

Add solution_kconfig

This script is for setting options from sat generated solution to kconfig.

Add sat_solution

Added script for minisat input build and execute.

Add kconfig_parser

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