Document conf.py and remove spare variable SRCARCH

Fix evaluate script

Add multiple bases support

Add base reduction for evaluate

Fix Makefile clean

Make nbscript not generated

Set root Makefile to start evaluate script

Fix NoAppliableSolution in loop and changed looping phase

Divide evaluete script to functions

Implement evaluate

Add result folder to .gitignore

Rewrite write_config solution check and fix apply

solution.apply failed in case of last solution.

Fix error in utils script

Fix error in solution apply

Fix solution generation in case of gen_all_solution_oninit

Ezecute initialize parse_kconfig only in case of missing files

Add dot_config to gitignore

Fix booting process and test target

Test target wasn't working properly. Now it should work.

Clean makefile and remove dependency on buildroot initram

Removing dependency can lead to problems.
But if buildroot should not be forced for possible alternatives.

Fix problems with permute

Permute should now reading and loading configurations right.
In case of configuration change, forces save.

Fix problems with configurations genration

Add mpermute target for executing command permute

Add kernel_env setting

Swap some lines in conf.py

Fix conf.py

Fix ARCH env variable

Fix env

Add initialize messages and initialize sourcing from dot_config not from linux/.config

Add saving and loading of dot_config file in permute program

Fix buildroot Makefile dependency

permute fix makefile

Add permute to root Makefile

Rename setpermute to permute

Add initial implementation of setpermute

Add implementation of  hash indexing of configurations

Add gitignores

Rename build folder to jobfiles

Add generation of all solutions in initialization phase

Add possibility of calling pahe_set from outside of loop.py

Add Makefile initialize dependencies

Fix some comments and if in solution

These changes were forgotten after change from minisat to picosat

Add label for debugging configs

Add PHONY targets

Change message in generated nbscript

Move buildroot configs in conf.py

Separate initialisation

Initialisation now can be executed without loop it self.

Remove automatic initram build

Not initram must be set and created manually by user.

Move buildroot submodule

Replace minisat with picosat

Picosat is distributed with this project.

Add gitignore for picosat

Add picosat version 959

Add minisat config

parse_kconfig fix problems with choice configs

Choice configs has now own boolean expression.
Also fixing problem with i variable. That causes that for some variables no cfn equations were build.

Small change in parse_kconfig Makefile

Hide warnings. I am not going to solve them now.

Fix missing addition for commit 9a1f3ff8fbff9dd418242eefa7aa69dfd38609c5

parse_kconfig change module decode value

In case of default value are modules taken as yes in case of boolean.

Add some configuration options and clean write_conf

parse_kconfig fix problem with generated rules

Generated rules were unsatisfiable all the time.
Problem was default value of vis variable.

parse_kconfig adding proper visibility dependency

For unknown reasons, output rules with generated default solution are not satisfiable.

parse_kconfig fix problems with generated rules to be UNSAT

parse_kconfig add debug output of boolexpr

Fixes in scripts and add minisat_args

parse_kconfig add missing rule

parse_kconfig fix boolexpr_not

parse_kconfig move debug output before action

Fix Dprintf macro

Fix parse_kconfig symlist_el variables type

parse_kconfig add debug outputs

Add DEBUG and Wall to parse_kconfig

Fix parse_kconfig symbol_map ids

write_config update to parse_kconfig changes

Fix missing configuration

Fix missing definition

Fit solution.apply to new changes

parse_kconfig rewriten

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

This is commit that breaks parse_kconfig program...

Add prompt variable to parse_kconfig

Add possibility of running step-by-step

Include iteration and phase code to loop

Fix solution.apply error

Change config kernem_make_output

Fix run and initram dependency

Add boot phase

Remove spare line from scripts/conf.py

Fix wrong open mode of iteration file in boot

Fix boot benchmark script

Fix missing symbol_map on test launch

Set execution file mode bit on test.py

Fix problem with test dependency

Add basic TODO

TODO in this files are future work points.

Finish implementation of test.test

Finish implementation of boot.boot

Add example testing benchmark scripts

Change boot.gen_nbscripts to support relative conf paths

Add output_confs generation to solution apply

Chnage conf paths from absolute to relative

Add NBSCRIPT config

fix problems with initram

First implementation of test.py

Not yet finished.

Firt implementation of boot.py

Not yet finished.