aboutsummaryrefslogtreecommitdiff
path: root/scripts
Commit message (Collapse)AuthorAge
* Move buildroot submodule to script folderKarel Kočí2015-09-18
| | | | | Novaboot, picosat,... are in script directory. Only buildroot was in root directory.
* Add scripts buildcnfKarel Kočí2015-09-18
| | | | | This script is for debugging purposes only. It should be launched only in jobfiles folder and it's generating file cnf.
* Add measurable check while initializationKarel Kočí2015-09-17
| | | | | Some configurations options can't be measured. While initialization are detected and warning is printed.
* Fix parse_kconfig symbol defaultKarel Kočí2015-09-17
| | | | | | Generated rules for symbols default values was used without information about their order. Kconfig documentation specifies that only first valid default value specification should be used.
* Remove image after measurementKarel Kočí2015-09-14
| | | | | Image should be removed after it was measured. Otherwise Linux images are piling up in jobfolder.
* Fix multithreadingKarel Kočí2015-09-14
| | | | | | | When multithreading was enabled, same configuration could been build multiple times. Adding list of built configurations and filtering list of configurations sourced from database solves this problem. Now script is aware of configurations that was prepared and not yet been measured.
* Export int values to conf.mkKarel Kočí2015-09-14
| | | | | Generated configuration file for makefile did not contain int values. But they were used. This is new feature but also fix.
* Fix empty temporally file for config generationKarel Kočí2015-09-14
| | | | Generated temporally configuration file was read.
* Fix parse_kconfig choice parsingKarel Kočí2015-09-12
| | | | | | | Parsing choices was implemented wrong. For non-optional choice output rules must contain also dependency of all choice symbols. Because if no choice symbol has fulfilled dependencies, than choice shouldn't be selected.
* Fix fromfolder scriptKarel Kočí2015-09-12
| | | | | Script ended with exception when no file with list of non-remove configuration options was provided.
* Reimplement fromfolder scriptKarel Kočí2015-08-28
| | | | | | Removing configuration options from configuration file according to definition folder. New implementation allows to specify required configuration options that shouldn't be removed in any case.
* Fix terminate variable for single thread modeKarel Kočí2015-08-26
| | | | Latest changes for multithreading broke single thread mode.
* 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
| | | | | Picosat is as default using 0 as seed for random generator. This lead on same configuration every time.
* Fix wrong function call in configurations scriptKarel Kočí2015-08-24
|
* Add boot timeoutKarel Kočí2015-08-24
| | | | | | Boot process should timeout after selected number of seconds if no output is generated. This allows resolving some problems with possible boot stuck.
* 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
| | | | | Test run and initialization now shows warning about dirty repository and loop can't be executed if linux or root repository is dirty.
* Fix wrong input format to databaseKarel Kočí2015-08-19
| | | | | add_measure in boot script was called with list of lines instead of single string.
* 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
| | | | As name was given tempfile object no name of generated temporally file.
* Remove configuration folder creation from initializationKarel Kočí2015-08-19
| | | | This folder is no longer used and shouldn't be created.
* Store boot output to databaseKarel Kočí2015-08-19
| | | | | | | | | Because configuration is now stored in database only missing informations to make database fully descriptive is boot output. This makes output of boot command to be saved to database and not to file. Also parse script should read input from stdin and not from file from argument.
* Fix wrong exception excepted in configurations scriptKarel Kočí2015-08-18
|
* Write stderr to log file together with stdoutKarel Kočí2015-08-18
| | | | | | | Utils function callsubprocess now logs all program output including stderr. Convenient would be to print stderr even if output is disabled. But this would probably required threads.
* Fix database get_configsortKarel Kočí2015-08-18
| | | | | Previous implementation was returning list of tuples. Now it is returning list of strings.
* Fix database add_configsortKarel Kočí2015-08-18
| | | | No attribute supplied when executed sql command.
* 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
| | | |