aboutsummaryrefslogtreecommitdiff
path: root/scripts
Commit message (Collapse)AuthorAge
* Generate configuration as ditionary in picosat functionKarel Kočí2015-08-18
| | | | | | Picosat output is parsed and automatically is resolved to dictionary with configuration option name as key and boolean value. This makes all configurations in script of same type. All are dictionaries this way.
* Add drop command for configopt tableKarel Kočí2015-08-18
| | | | This table was recently added, but was missing in databaseclean.sql.
* 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.
* Fix kernel temporally file removalKarel Kočí2015-08-18
| | | | | Temporally file generated in kernel script during configuration applying wasn't closed/remove after end of usage.
* 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.
* Merge branch 'measuring'Karel Kočí2015-08-13
|\ | | | | | | | | | | Removing measuring branch. Idea was to make measuring configuration separate from master. But keeping changes in master and measuring branch consistent was pain.
| * 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.
| * Merge branch 'master' into measuringKarel Kočí2015-08-13
| |\ | | | | | | | | | Pull generate_single fix.
| * \ Merge branch 'master' into measuringKarel Kočí2015-08-13
| |\ \ | | | | | | | | | | | | | | | | | | | | Conflicts: conf.py scripts/configurations.py
| * | | 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.
| * | | 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
| | | |
| * | | 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
| | | |
| * | | Add parse_scriptKarel Kočí2015-08-12
| | | | | | | | | | | | | | | | Parsing maximal value from first thread as result.
| * | | Set conf.py and nbscript for measurementKarel Kočí2015-08-12
| | | |
* | | | Remove parse_kconfig from test runKarel Kočí2015-08-13
| |_|/ |/| | | | | | | | | | | Executing parse_kconfig in test run makes no sense and takes to much time.
* | | 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.
* | 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.
* | Single configuration generation ensured to generate only singleKarel Kočí2015-08-12
|/ | | | configuration per execution
* Fix link errorKarel Kočí2015-08-12
| | | | | Creation of link to linux image wasn't done right. Outcome was, wrong path in link.
* Ignore any exception raised while parsing output of boot outputKarel Kočí2015-07-28
| | | | | Any exception raised from user script, that should parse boot command output, should be ignored. If fails, no value is written to database.
* 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.
* Add database table linuxgit and fix prepare sql commandKarel Kočí2015-07-28
|
* Allconfig add inv optionKarel Kočí2015-07-28
| | | | | Added inv option for generating inverted configurations. Inverted configuration contains configuration options that are not in original configuration file.
* kernel.make is now copying linux image to jobfile folderKarel Kočí2015-07-24
| | | | And make now returns name of image.
* kernel.config rewritten to use utils.callsubprocess and support new ↵Karel Kočí2015-07-24
| | | | | | implementation of write_config Also unused function config_noprogram commented.
* Remove unused function from utilsKarel Kočí2015-07-24
| | | | build_conf_map is not used anywhere. And plan is to change files with which it works. So it doesn't have any sense to keeping it there or even rewriting it.
* Change log files positionKarel Kočí2015-07-24
| | | | Log files won't be in only one folder. Every program have its own folder.
* 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 write_configKarel Kočí2015-07-24
| | | | | | | Write config don't need to load jobfiles any more. We only have to load file passed via argument and save using kconfig code. Configuration checking is disabled. It needs more editing.