aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* 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 wrong path to patch in patch scriptKarel Kočí2015-08-13
|
* Remove duplicate variable in conf.pyKarel Kočí2015-08-13
| | | | This duplication was created probably by merging.
* Merge branch 'master' into measuringKarel Kočí2015-08-13
|\ | | | | | | Pull generate_single fix.
| * Fix single_generated_file writebackKarel Kočí2015-08-13
| | | | | | | | | | measure_list containst ints. But method writelines can only be used with strings.
* | Merge branch 'master' into measuringKarel Kočí2015-08-13
|\| | | | | | | | | | | Conflicts: conf.py scripts/configurations.py
| * Fix generate single configurationKarel Kočí2015-08-13
| | | | | | | | | | This fixes and ensures that every call generates configuration. Unless False is returned.
| * Fix thread cooperation in loopKarel Kočí2015-08-13
| | | | | | | | | | Measure function requires img and config as atributes. But only config was provided.
| * 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.
| * Catch NoApplicableConfiguration exception in prepare threadKarel Kočí2015-08-13
| |
| * Fix wrong configuration reading from databaseKarel Kočí2015-08-13
| |
| * 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.
| * Add measure tool desription to databaseKarel Kočí2015-08-13
| |
| * 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.
| * Change default database configurationKarel Kočí2015-08-12
| | | | | | | | | | Database configuration was set as it was used during development and testing. Changed to some of default not usable values.
| * Single configuration generation ensured to generate only singleKarel Kočí2015-08-12
| | | | | | | | configuration per execution
* | Fix thread cooperation in loopKarel Kočí2015-08-13
| | | | | | | | | | Measure function requires img and config as atributes. But only config was provided.
* | 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.
* | 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.
* | Enable multithreating executionKarel Kočí2015-08-13
| |
* | Remove init cli argument for kernelKarel Kočí2015-08-13
| | | | | | | | | | This argument was already removed by previous commit, but probably with some merge it come back.
* | 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
| | | | | | | | As first will be measured only konfiguration options in kernel folder.
* | Fix bug in configurations loadingKarel Kočí2015-08-12
| | | | | | | | Loading configuration load all configuration options as True.
* | Fix problem with wrongly printed first line in CNF fileKarel Kočí2015-08-12
| |
* | Remove debud output of generated configurationKarel Kočí2015-08-12
| |
* | Hide output of all commandsKarel 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 measure tool desription to databaseKarel Kočí2015-08-12
| |
* | Change master version to v0.92 of rt-testsKarel Kočí2015-08-12
| |
* | Add parse_scriptKarel Kočí2015-08-12
| | | | | | | | Parsing maximal value from first thread as result.
* | Fix boot and build scriptsKarel Kočí2015-08-12
| | | | | | | | | | | | | | | | Remove init atribut from boot_script. It is not usable when system using /init as default. Build script is moved for ryuglab target. Root build script is now pointing to right location.
* | Set cyclictest exectuionKarel Kočí2015-08-12
| | | | | | | | | | Also used external package to buildroot for rt-tests to use latest master version.
* | Remove script for generating configurationKarel Kočí2015-08-12
| | | | | | | | | | Also folder measure_scripts renamed to ryuglab_scripts to signalize for what target are those scripts.
* | Add default config for ryuglab targetKarel Kočí2015-08-12
| |
* | Move target specification from boot_script back to .novaboot fileKarel Kočí2015-08-12
| |
* | Fix .gitignore in folder root/cyclictest/Karel Kočí2015-08-12
| | | | | | | | Git was ignoring files in overlay folder
* | Fix boot problemsKarel Kočí2015-08-12
| | | | | | | | Now cyclictest should be bootable.
* | Add default novaboot target for measuringKarel Kočí2015-08-12
| |
* | Add default_config and cyclictest novabootKarel Kočí2015-08-12
| |
* | Add inittab and scriptKarel Kočí2015-08-12
| |
* | Add boot_commandKarel Kočí2015-08-12
| |
* | Fix boot_commandKarel Kočí2015-08-12
| | | | | | | | Added novaboot call directly. nbscript is not executable.
* | Fix linux image nameKarel Kočí2015-08-12
| |