| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
| |
Configuration are generated with random assumptions. This should
generate different configuration for every SAT solver execution.
|
| |
|
|
|
|
| |
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.
|
| |
|
|
| |
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.
|
| |
|
|
| |
configuration per execution
|
| |
|
|
| |
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.
|
| |
|
|
|
| |
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.
|
| |
|
|
|
|
|
|
|
|
| |
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.
|
|
|
New name more better resembles what script does.
|
