| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
| |
Configuration are generated with random assumptions. This should
generate different configuration for every SAT solver execution.
|
| | |
|
| | |
|
| |
|
|
| |
Loading configuration load all configuration options as True.
|
| | |
|
| |
|
|
|
| |
When some generator tries to register already generated solution, it
shouldn't be registered.
|
| |
|
|
| |
Type inserted to method is str, but threated as int.
|
| | |
|
| |
|
|
|
|
| |
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.
|
| |
|
|
| |
configuration per execution
|
| |
|
|
|
| |
Creation of link to linux image wasn't done right.
Outcome was, wrong path in link.
|
| |
|
|
|
| |
Any exception raised from user script, that should parse boot command output, should be ignored.
If fails, no value is written to database.
|
| |
|
|
| |
This identifier is for recognition what generator generated specified configuration as first.
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
| | |
|
| |
|
|
|
| |
Added inv option for generating inverted configurations.
Inverted configuration contains configuration options that are not in original configuration file.
|
| |
|
|
| |
And make now returns name of image.
|
| |
|
|
|
|
| |
implementation of write_config
Also unused function config_noprogram commented.
|
| |
|
|
| |
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.
|
| |
|
|
| |
Log files won't be in only one folder. Every program have its own folder.
|
| |
|
|
|
| |
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.
|
| |
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
|
| |
Added missing import.
Every folder creation must have it's own exception block.
Removed additional import of exceptions.
|
| |
|
|
|
| |
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.
|
| |
|
|
|
|
|
| |
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.
|
| |
|
|
|
| |
Now every execution is in separated file.
Also logging folder creation moved from callprocess tto initialize.base
|
| |
|
|
| |
New name more better resembles what script does.
|
| |
|
|
|
|
| |
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.
|
| |
|
|
| |
On object creation, when connection to server is established, is now implemented check if database has all tables as it should have.
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
| |
Database will be used for storing measured data.
|
| | |
|
| |
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
|
| |
Only possibility now is generating all solutions on initialisation.
Remove solution generating phase.
|
| |
|
|
|
| |
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.
|
| |
|
|
| |
Options are removed if they are found in selected folder (variable FOLDER).
|
| |
|
|
|
| |
This program generates complete configuration.
Written because permute_conf is only writing out configs that are chargeable.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
solution.apply failed in case of last solution.
|
