aboutsummaryrefslogtreecommitdiff
path: root/scripts/configurations.py
Commit message (Collapse)AuthorAge
* Fix bug in wrong input type to CNF file generatorKarel Kočí2015-08-18
| | | | | | | This caused that instead of multiple numbers was parsed only one number including every single number character as separated number. Because of this was generated wrong CNF file and sometimes if zero was in number picosat failed with error.
* Generated configuration is now fully stored to databaseKarel Kočí2015-08-17
| | | | | | Managing configurations in files and in database could cause inconsistence. Adding all generated configurations to database allow us to clean project files without loosing data.
* Fix configuration generation missing file exceptionKarel Kočí2015-08-13
| | | | | | | If generating single throw NoSolution exception, randomly generated CNF file is removed. But finally statement tries to remove it once again. Solution is to not remove CNF file in exception handling, but only by finally statement.
* Fix single_generated_file writebackKarel Kočí2015-08-13
| | | | | measure_list containst ints. But method writelines can only be used with strings.
* Fix generate single configurationKarel Kočí2015-08-13
| | | | | This fixes and ensures that every call generates configuration. Unless False is returned.
* Implement random generation of configurationsKarel Kočí2015-08-13
| | | | | Configuration are generated with random assumptions. This should generate different configuration for every SAT solver execution.
* Fix bug in configurations loadingKarel Kočí2015-08-13
| | | | Loading configuration load all configuration options as True.
* Fix problem with wrongly printed first line in CNF fileKarel Kočí2015-08-13
|
* Fix if generated existing configurationKarel Kočí2015-08-13
| | | | | When some generator tries to register already generated solution, it shouldn't be registered.
* Fix bug in configuration.pyKarel Kočí2015-08-13
| | | | Type inserted to method is str, but threated as int.
* Change hash calculating functionKarel Kočí2015-08-13
| | | | | | 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.
* 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.