Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | Change logging method | Karel 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 configurations | Karel Kočí | 2015-07-22 | |
| | | | | New name more better resembles what script does. | |||
* | Remove permute_conf | Karel 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 check | Karel 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 changes | Karel 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 database | Karel Kočí | 2015-07-22 | |
| | | | | Database will be used for storing measured data. | |||
* | Fix gen_required config source check | Karel Kočí | 2015-07-17 | |
| | ||||
* | Integrate allconfig | Karel 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 formulas | Karel 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 configuration | Karel Kočí | 2015-07-17 | |
| | | | | Options are removed if they are found in selected folder (variable FOLDER). | |||
* | Add small program for generating complete configuration | Karel 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 cyclictest | Michal Sojka | 2015-07-17 | |
| | ||||
* | Makefile fix distclean target | Karel Kočí | 2015-05-22 | |
| | ||||
* | Fix problem with swapped columns numbering | Karel Kočí | 2015-05-22 | |
| | ||||
* | Add simple readme | Karel Kočí | 2015-05-22 | |
| | ||||
* | Rename program permute to permute_conf | Karel Kočí | 2015-05-21 | |
| | ||||
* | Add license | Karel Kočí | 2015-05-21 | |
| | ||||
* | Fix problem of cleaning scripts/nbscript | Karel Kočí | 2015-05-21 | |
| | ||||
* | Document conf.py and remove spare variable SRCARCH | Karel Kočí | 2015-05-21 | |
| | ||||
* | Fix evaluate script | Karel Kočí | 2015-05-20 | |
| | ||||
* | Add multiple bases support | Karel Kočí | 2015-05-20 | |
| | ||||
* | Add base reduction for evaluate | Karel Kočí | 2015-05-20 | |
| | ||||
* | Fix Makefile clean | Karel Kočí | 2015-05-20 | |
| | ||||
* | Make nbscript not generated | Karel Kočí | 2015-05-18 | |
| | ||||
* | Set root Makefile to start evaluate script | Karel Kočí | 2015-05-16 | |
| | ||||
* | Fix NoAppliableSolution in loop and changed looping phase | Karel Kočí | 2015-05-16 | |
| | ||||
* | Divide evaluete script to functions | Karel Kočí | 2015-05-16 | |
| | ||||
* | Implement evaluate | Karel Kočí | 2015-05-16 | |
| | ||||
* | Add result folder to .gitignore | Karel Kočí | 2015-05-15 | |
| | ||||
* | Rewrite write_config solution check and fix apply | Karel Kočí | 2015-05-15 | |
| | | | | solution.apply failed in case of last solution. | |||
* | Fix error in utils script | Karel Kočí | 2015-05-14 | |
| | ||||
* | Fix error in solution apply | Karel Kočí | 2015-05-14 | |
| | ||||
* | Fix solution generation in case of gen_all_solution_oninit | Karel Kočí | 2015-05-14 | |
| | ||||
* | Ezecute initialize parse_kconfig only in case of missing files | Karel Kočí | 2015-05-14 | |
| | ||||
* | Add dot_config to gitignore | Karel Kočí | 2015-05-14 | |
| | ||||
* | Fix booting process and test target | Karel Kočí | 2015-05-14 | |
| | | | | Test target wasn't working properly. Now it should work. | |||
* | Clean makefile and remove dependency on buildroot initram | Karel Kočí | 2015-05-14 | |
| | | | | | Removing dependency can lead to problems. But if buildroot should not be forced for possible alternatives. | |||
* | Fix problems with permute | Karel Kočí | 2015-05-14 | |
| | | | | | Permute should now reading and loading configurations right. In case of configuration change, forces save. | |||
* | Fix problems with configurations genration | Karel Kočí | 2015-05-14 | |
| | ||||
* | Add mpermute target for executing command permute | Karel Kočí | 2015-05-13 | |
| | ||||
* | Add kernel_env setting | Karel Kočí | 2015-05-13 | |
| | ||||
* | Swap some lines in conf.py | Karel Kočí | 2015-05-13 | |
| | ||||
* | Fix conf.py | Karel Kočí | 2015-05-13 | |
| | ||||
* | Fix ARCH env variable | Karel Kočí | 2015-05-13 | |
| | ||||
* | Fix env | Karel 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 program | Karel Kočí | 2015-05-10 | |
| | ||||
* | Fix buildroot Makefile dependency | Karel Kočí | 2015-05-10 | |
| | ||||
* | permute fix makefile | Karel Kočí | 2015-05-07 | |
| |