aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* 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.
* 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 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.
* Fix shell incompatibility script constructKarel Kočí2015-07-28
|
* Change password authentication method to databaseKarel Kočí2015-07-28
| | | | .pgpass file has to be allowed in configuration. Using environment variable is more platform independent.
* 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.
* Change root MakefileKarel Kočí2015-07-28
| | | | | | Add check for recursive makefile calls. Also add removing of dot_config to clean_measure target. run and initialize now requires all target. This allow dependency on all programs not only selected. This is done for simplification.
* 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.
* Adding targets in root makefileKarel Kočí2015-07-24
| | | | | | Part of the initialize target should be also initialization of database. Target distclean should clean project to state as it is in git repository.
* Ignore configurations folderKarel Kočí2015-07-24
|
* 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.
* Rewrite configuration scriptKarel Kočí2015-07-24
| | | | | | | | | | THIS MAKES SCRIPT INCONSISTENT AND PROJECT IS NOT WORKING UNTIL OTHER COMMIT MESSAGE SAYS OTHERWISE. Configurations are now generated to separated folder and have syntax compatible with linux configuration files. This way applying new configuration is not necessary. Also script is now communicating with database. Functions are prepared for multiple different generating possibilities. Also configuration generation is removed from initialize script.
* Fix bugs in initialise scriptKarel Kočí2015-07-24
| | | | | | Added missing import. Every folder creation must have it's own exception block. Removed additional import of exceptions.
* Remove unused configurationsKarel Kočí2015-07-24
| | | | These configuration were left here probably by mistake after deleting code for which they were used.
* Return timestamp to subprocess execution logKarel Kočí2015-07-24
| | | | | When script is running, this function could be executed multiple times in same second. If it would happen, it wouldn't be easy find where starts which execution.
* Add dot_config target to root MakefileKarel Kočí2015-07-24
| | | | | | | allconfig is used for generating full configuration. In default is this file expected in root project directory with name dot_config. User should remove configuration options that should be measured. So dot_config file should contains only configuration options with fixed value.
* Change logging methodKarel Kočí2015-07-24
| | | | | Now every execution is in separated file. Also logging folder creation moved from callprocess tto initialize.base
* Rename solution script to configurationsKarel Kočí2015-07-22
| | | | New name more better resembles what script does.
* Remove permute_confKarel Kočí2015-07-22
| | | | | | permute_conf was only temporally program for generating dot_config file. Its main function now has program allconfig. This program has also some text interface, but it wasn't optimal and in the end wasn't used at all.
* Add database initialisation checkKarel Kočí2015-07-22
| | | | On object creation, when connection to server is established, is now implemented check if database has all tables as it should have.
* Makefile configuration is now automatically generated and more changesKarel Kočí2015-07-22
| | | | | | | | | | | | | Makefile configuration file is now generated automatically and contains all string config options. Separated tables drop from databaseinit.sql to file databaseclean.sql. Also add clean and init target for database. For this reason is also separated output and result from normal clean. From now on won't be results removed on standard clean. ARCH config variable is renamed to kernel_arch to make name more clear.
* Implemented databaseKarel Kočí2015-07-22
| | | | Database will be used for storing measured data.
* Fix gen_required config source checkKarel Kočí2015-07-17
|
* Integrate allconfigKarel Kočí2015-07-17
| | | | | | | | | allconfig is now integrated in project. It is going to replace permute_conf for generating. For this reason is default behaviour changed to print only changeable configurtaion options. Previous behaviour can be used with --all switch. Also add .gitignore and remove compiled file from repository.
* Remove possibility of generating next solution in loop.Karel Kočí2015-07-17
| | | | | Only possibility now is generating all solutions on initialisation. Remove solution generating phase.
* Simplify parse_kconfig generated CNF formulasKarel Kočí2015-07-17
| | | | | Not isn't now generated using additional variable. All head formulas for all configuration options are now printed directly as formulas. Not build using functions.
* Add simple bash script to remove configs options from full configurationKarel Kočí2015-07-17
| | | | Options are removed if they are found in selected folder (variable FOLDER).
* Add small program for generating complete configurationKarel Kočí2015-07-17
| | | | | This program generates complete configuration. Written because permute_conf is only writing out configs that are chargeable.
* Add rootfs configuration for cyclictestMichal Sojka2015-07-17
|