Remove duplicate variable in conf.py

This duplication was created probably by merging.

Merge branch 'master' into measuring

Pull generate_single fix.

Fix single_generated_file writeback

measure_list containst ints. But method writelines can only be used with
strings.

Merge branch 'master' into measuring

 Conflicts:
conf.py
scripts/configurations.py

Fix generate single configuration

This fixes and ensures that every call generates configuration. Unless
False is returned.

Fix thread cooperation in loop

Measure function requires img and config as atributes. But only config
was provided.

Fix thread cooperation in loop

Measure function requires img and config as atributes. But only config
was provided.

Implement random generation of configurations

Configuration are generated with random assumptions. This should
generate different configuration for every SAT solver execution.

Implement random generation of configurations

Configuration are generated with random assumptions. This should
generate different configuration for every SAT solver execution.

Catch NoApplicableConfiguration exception in prepare thread

Fix wrong configuration reading from database

Fix bug in configurations loading

Loading configuration load all configuration options as True.

Fix problem with wrongly printed first line in CNF file

Fix if generated existing configuration

When some generator tries to register already generated solution, it
shouldn't be registered.

Fix bug in configuration.py

Type inserted to method is str, but threated as int.

Add measure tool desription to database

Change hash calculating function

Previous method of calculating hash wasn't work (wouldn't give same
result for same configuration) if there would be added
new configuration options to hashconfigsort file.

Change hash calculating function

Previous method of calculating hash wasn't work (wouldn't give same
result for same configuration) if there would be added
new configuration options to hashconfigsort file.

Enable multithreating execution

Remove init cli argument for kernel

This argument was already removed by previous commit, but probably with
some merge it come back.

Catch NoApplicableConfiguration exception in prepare thread

Fix wrong configuration reading from database

Change folder to kernel

As first will be measured only konfiguration options in kernel folder.

Fix bug in configurations loading

Loading configuration load all configuration options as True.

Fix problem with wrongly printed first line in CNF file

Remove debud output of generated configuration

Hide output of all commands

Fix if generated existing configuration

When some generator tries to register already generated solution, it
shouldn't be registered.

Fix bug in configuration.py

Type inserted to method is str, but threated as int.

Single configuration generation ensured to generate only single
configuration per execution

Change default database configuration

Database configuration was set as it was used during development and
testing. Changed to some of default not usable values.

Single configuration generation ensured to generate only single
configuration per execution

Add measure tool desription to database

Change master version to v0.92 of rt-tests

Add parse_script

Parsing maximal value from first thread as result.

Fix boot and build scripts

Remove init atribut from boot_script. It is not usable when system using
/init as default.

Build script is moved for ryuglab target. Root build script is now
pointing to right location.

Set cyclictest exectuion

Also used external package to buildroot for rt-tests to use latest
master version.

Remove script for generating configuration

Also folder measure_scripts renamed to ryuglab_scripts to signalize for
what target are those scripts.

Add default config for ryuglab target

Move target specification from boot_script back to .novaboot file

Fix .gitignore in folder root/cyclictest/

Git was ignoring files in overlay folder

Fix boot problems

Now cyclictest should be bootable.

Add default novaboot target for measuring

Add default_config and cyclictest novaboot

Add inittab and script

Add boot_command

Fix boot_command

Added novaboot call directly. nbscript is not executable.

Fix linux image name

Fix path bug

Add build_script

Add external scripts and set boot configuration

Change measuring architecture

Set conf.py and nbscript for measurement

Fix link error

Creation of link to linux image wasn't done right.
Outcome was, wrong path in link.

Ignore any exception raised while parsing output of boot output

Any exception raised from user script, that should parse boot command output, should be ignored.
If fails, no value is written to database.

Add generator identifier to configuration in database

This identifier is for recognition what generator generated specified configuration as first.

Fix shell incompatibility script construct

Change password authentication method to database

.pgpass file has to be allowed in configuration. Using environment variable is more platform independent.

Scripts changed to use database.

Also initial implementation of multithread execution.

A lot of functionality changed.
Phases removed.
Output parsing is now part of measure (boot) process.
Utils cleared.
Add dot_measure file for inverted dot_config.
Configuration generating is now prepared for multiple generating types. Fist implemented is generating configurations with single selected configuration.

Test is modified to be compatible with new changes.

Change root Makefile

Add check for recursive makefile calls.
Also add removing of dot_config to clean_measure target.
run and initialize now requires all target. This allow dependency on all programs not only selected. This is done for simplification.

Add database table linuxgit and fix prepare sql command

Allconfig add inv option

Added inv option for generating inverted configurations.
Inverted configuration contains configuration options that are not in original configuration file.

kernel.make is now copying linux image to jobfile folder

And make now returns name of image.

kernel.config rewritten to use utils.callsubprocess and support new implementation of write_config

Also unused function config_noprogram commented.

Adding targets in root makefile

Part of the initialize target should be also initialization of database.

Target distclean should clean project to state as it is in git repository.

Ignore configurations folder

Remove unused function from utils

build_conf_map is not used anywhere. And plan is to change files with which it works. So it doesn't have any sense to keeping it there or even rewriting it.

Change log files position

Log files won't be in only one folder. Every program have its own folder.

Fix big amount of bugs in recently commited code

Recently committed code wasn't tested, because most of the required infrastructure wasn't yet written.
So bugs must be fixed after more parts of system are reimplemented.

Rewrite write_config

Write config don't need to load jobfiles any more.
We only have to load file passed via argument and save using kconfig code.

Configuration checking is disabled. It needs more editing.

Rewrite configuration script

THIS MAKES SCRIPT INCONSISTENT AND PROJECT IS NOT WORKING UNTIL OTHER COMMIT MESSAGE SAYS OTHERWISE.
Configurations are now generated to separated folder and have syntax compatible with linux configuration files.
This way applying new configuration is not necessary.
Also script is now communicating with database.
Functions are prepared for multiple different generating possibilities.

Also configuration generation is removed from initialize script.

Fix bugs in initialise script

Added missing import.
Every folder creation must have it's own exception block.
Removed additional import of exceptions.

Remove unused configurations

These configuration were left here probably by mistake after deleting code for which they were used.

Return timestamp to subprocess execution log

When script is running, this function could be executed multiple times in same second.
If it would happen, it wouldn't be easy find where starts which execution.

Add dot_config target to root Makefile

allconfig is used for generating full configuration.
In default is this file expected in root project directory with name dot_config.
User should remove configuration options that should be measured.
So dot_config file should contains only configuration options with fixed value.

Change logging method

Now every execution is in separated file.
Also logging folder creation moved from callprocess tto initialize.base

Rename solution script to configurations

New name more better resembles what script does.

Remove permute_conf

permute_conf was only temporally program for generating dot_config file.
Its main function now has program allconfig.
This program has also some text interface, but it wasn't optimal and in the end wasn't used at all.

Add database initialisation check

On object creation, when connection to server is established, is now implemented check if database has all tables as it should have.

Makefile configuration is now automatically generated and more changes

Makefile configuration file is now generated automatically and contains all
string config options.

Separated tables drop from databaseinit.sql to file databaseclean.sql.

Also add clean and init target for database.
For this reason is also separated output and result from normal clean.
From now on won't be results removed on standard clean.

ARCH config variable is renamed to kernel_arch to make name more clear.

Implemented database

Database will be used for storing measured data.

Fix gen_required config source check

Integrate allconfig

allconfig is now integrated in project.
It is going to replace permute_conf for generating.
For this reason is default behaviour changed to print only changeable configurtaion options.
Previous behaviour can be used with --all switch.

Also add .gitignore and remove compiled file from repository.

Remove possibility of generating next solution in loop.

Only possibility now is generating all solutions on initialisation.
Remove solution generating phase.

Simplify parse_kconfig generated CNF formulas

Not isn't now generated using additional variable.
All head formulas for all configuration options are now printed directly as formulas. Not build using functions.

Add simple bash script to remove configs options from full configuration

Options are removed if they are found in selected folder (variable FOLDER).

Add small program for generating complete configuration

This program generates complete configuration.
Written because permute_conf is only writing out configs that are chargeable.

Add rootfs configuration for cyclictest

Makefile fix distclean target

Fix problem with swapped columns numbering

Add simple readme

Rename program permute to permute_conf

Add license

Fix problem of cleaning scripts/nbscript

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