aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* 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
|
* Makefile fix distclean targetKarel Kočí2015-05-22
|
* Fix problem with swapped columns numberingKarel Kočí2015-05-22
|
* Add simple readmeKarel Kočí2015-05-22
|
* Rename program permute to permute_confKarel Kočí2015-05-21
|
* Add licenseKarel Kočí2015-05-21
|
* Fix problem of cleaning scripts/nbscriptKarel Kočí2015-05-21
|
* Document conf.py and remove spare variable SRCARCHKarel Kočí2015-05-21
|
* Fix evaluate scriptKarel Kočí2015-05-20
|
* Add multiple bases supportKarel Kočí2015-05-20
|
* Add base reduction for evaluateKarel Kočí2015-05-20
|
* Fix Makefile cleanKarel Kočí2015-05-20
|
* Make nbscript not generatedKarel Kočí2015-05-18
|
* Set root Makefile to start evaluate scriptKarel Kočí2015-05-16
|
* Fix NoAppliableSolution in loop and changed looping phaseKarel Kočí2015-05-16
|
* Divide evaluete script to functionsKarel Kočí2015-05-16
|
* Implement evaluateKarel Kočí2015-05-16
|
* Add result folder to .gitignoreKarel Kočí2015-05-15
|
* Rewrite write_config solution check and fix applyKarel Kočí2015-05-15
| | | | solution.apply failed in case of last solution.
* Fix error in utils scriptKarel Kočí2015-05-14
|
* Fix error in solution applyKarel Kočí2015-05-14
|
* Fix solution generation in case of gen_all_solution_oninitKarel Kočí2015-05-14
|
* Ezecute initialize parse_kconfig only in case of missing filesKarel Kočí2015-05-14
|
* Add dot_config to gitignoreKarel Kočí2015-05-14
|
* Fix booting process and test targetKarel Kočí2015-05-14
| | | | Test target wasn't working properly. Now it should work.
* Clean makefile and remove dependency on buildroot initramKarel Kočí2015-05-14
| | | | | Removing dependency can lead to problems. But if buildroot should not be forced for possible alternatives.
* Fix problems with permuteKarel Kočí2015-05-14
| | | | | Permute should now reading and loading configurations right. In case of configuration change, forces save.
* Fix problems with configurations genrationKarel Kočí2015-05-14
|
* Add mpermute target for executing command permuteKarel Kočí2015-05-13
|
* Add kernel_env settingKarel Kočí2015-05-13
|
* Swap some lines in conf.pyKarel Kočí2015-05-13
|
* Fix conf.pyKarel Kočí2015-05-13
|
* Fix ARCH env variableKarel Kočí2015-05-13
|
* Fix envKarel Kočí2015-05-13
|
* Add initialize messages and initialize sourcing from dot_config not from ↵Karel Kočí2015-05-10
| | | | linux/.config
* Add saving and loading of dot_config file in permute programKarel Kočí2015-05-10
|
* Fix buildroot Makefile dependencyKarel Kočí2015-05-10
|
* permute fix makefileKarel Kočí2015-05-07
|
* Add permute to root MakefileKarel Kočí2015-05-07
|
* Rename setpermute to permuteKarel Kočí2015-05-07
|