aboutsummaryrefslogtreecommitdiff
path: root/scripts
Commit message (Expand)AuthorAge
* Reimplement fromfolder scriptKarel Kočí2015-08-28
* Fix terminate variable for single thread modeKarel Kočí2015-08-26
* Use event for thread synchronization in multithread modeKarel Kočí2015-08-26
* Fix thread alive checkKarel Kočí2015-08-26
* Add print to signal thread start and stop in multithread modeKarel Kočí2015-08-26
* Fix multithread locking and terminatingKarel Kočí2015-08-26
* Fix configuration generationKarel Kočí2015-08-26
* Fix multithreadingKarel Kočí2015-08-26
* Fix random configuration generatorKarel Kočí2015-08-26
* Fix wrong function call in configurations scriptKarel Kočí2015-08-24
* Add boot timeoutKarel Kočí2015-08-24
* Fix wrong input type to compare_text in register_confKarel Kočí2015-08-19
* Fix missing utils include in loop.pyKarel Kočí2015-08-19
* Fix missing include in test scriptKarel Kočí2015-08-19
* Added dirty repository checkKarel Kočí2015-08-19
* Fix wrong input format to databaseKarel Kočí2015-08-19
* Fix utils.callsubprocess stdinKarel Kočí2015-08-19
* Fix boot.py parse callKarel Kočí2015-08-19
* Add message about what configuration is measuredKarel Kočí2015-08-19
* Remove unused atribute for parse script callKarel Kočí2015-08-19
* Fix type exception in kernel.configKarel Kočí2015-08-19
* Remove configuration folder creation from initializationKarel Kočí2015-08-19
* Store boot output to databaseKarel Kočí2015-08-19
* Fix wrong exception excepted in configurations scriptKarel Kočí2015-08-18
* Write stderr to log file together with stdoutKarel Kočí2015-08-18
* Fix database get_configsortKarel Kočí2015-08-18
* Fix database add_configsortKarel Kočí2015-08-18
* Generate configuration as ditionary in picosat functionKarel Kočí2015-08-18
* Add drop command for configopt tableKarel Kočí2015-08-18
* Fix bug in wrong input type to CNF file generatorKarel Kočí2015-08-18
* Fix kernel temporally file removalKarel Kočí2015-08-18
* Generated configuration is now fully stored to databaseKarel Kočí2015-08-17
* Merge branch 'measuring'Karel Kočí2015-08-13
|\
| * Fix configuration generation missing file exceptionKarel Kočí2015-08-13
| * Merge branch 'master' into measuringKarel Kočí2015-08-13
| |\
| * \ Merge branch 'master' into measuringKarel Kočí2015-08-13
| |\ \
| * | | Fix thread cooperation in loopKarel Kočí2015-08-13
| * | | Implement random generation of configurationsKarel Kočí2015-08-13
| * | | Change hash calculating functionKarel Kočí2015-08-13
| * | | Catch NoApplicableConfiguration exception in prepare threadKarel Kočí2015-08-12
| * | | Fix wrong configuration reading from databaseKarel Kočí2015-08-12
| * | | Change folder to kernelKarel Kočí2015-08-12
| * | | Fix bug in configurations loadingKarel Kočí2015-08-12
| * | | 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
| * | | Fix bug in configuration.pyKarel Kočí2015-08-12
| * | | Single configuration generation ensured to generate only singleKarel Kočí2015-08-12
| * | | Add measure tool desription to databaseKarel Kočí2015-08-12
| * | | Add parse_scriptKarel Kočí2015-08-12