aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* 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
| |
* | Fix path bugKarel Kočí2015-08-12
| |
* | Add build_scriptKarel Kočí2015-08-12
| |