aboutsummaryrefslogtreecommitdiff
path: root/scripts/configurations.py
Commit message (Collapse)AuthorAge
* Fix problem with wrongly printed first line in CNF fileKarel Kočí2015-08-12
|
* Remove debud output of generated configurationKarel Kočí2015-08-12
|
* Fix if generated existing configurationKarel Kočí2015-08-12
| | | | | When some generator tries to register already generated solution, it shouldn't be registered.
* Fix bug in configuration.pyKarel Kočí2015-08-12
| | | | Type inserted to method is str, but threated as int.
* Single configuration generation ensured to generate only singleKarel Kočí2015-08-12
| | | | configuration per execution
* Add generator identifier to configuration in databaseKarel Kočí2015-07-28
| | | | This identifier is for recognition what generator generated specified configuration as first.
* Scripts changed to use database.Karel Kočí2015-07-28
| | | | | | | | | | | | | 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.
* Fix big amount of bugs in recently commited codeKarel Kočí2015-07-24
| | | | | 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 configuration scriptKarel Kočí2015-07-24
| | | | | | | | | | 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.
* Rename solution script to configurationsKarel Kočí2015-07-22
New name more better resembles what script does.