Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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. | |||
* | Fix problem with swapped columns numbering | Karel Kočí | 2015-05-22 | |
| | ||||
* | Rename program permute to permute_conf | 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 | |
| | ||||
* | Make nbscript not generated | Karel Kočí | 2015-05-18 | |
| | ||||
* | 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 | |
| | ||||
* | 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 | |
| | ||||
* | Fix booting process and test target | Karel Kočí | 2015-05-14 | |
| | | | | Test target wasn't working properly. Now it should work. | |||
* | 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 kernel_env setting | 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 | |
| | ||||
* | permute fix makefile | Karel Kočí | 2015-05-07 | |
| | ||||
* | Rename setpermute to permute | Karel Kočí | 2015-05-07 | |
| | ||||
* | Add initial implementation of setpermute | Karel Kočí | 2015-05-07 | |
| | ||||
* | Add implementation of hash indexing of configurations | Karel Kočí | 2015-05-07 | |
| | ||||
* | Add generation of all solutions in initialization phase | Karel Kočí | 2015-05-06 | |
| | ||||
* | Add possibility of calling pahe_set from outside of loop.py | Karel Kočí | 2015-05-06 | |
| | ||||
* | Fix some comments and if in solution | Karel Kočí | 2015-05-06 | |
| | | | | These changes were forgotten after change from minisat to picosat | |||
* | Change message in generated nbscript | Karel Kočí | 2015-05-06 | |
| | ||||
* | Separate initialisation | Karel Kočí | 2015-05-06 | |
| | | | | Initialisation now can be executed without loop it self. | |||
* | Remove automatic initram build | Karel Kočí | 2015-05-06 | |
| | | | | Not initram must be set and created manually by user. | |||
* | Move buildroot submodule | Karel Kočí | 2015-05-06 | |
| | ||||
* | Replace minisat with picosat | Karel Kočí | 2015-05-05 | |
| | | | | Picosat is distributed with this project. | |||
* | Add gitignore for picosat | Karel Kočí | 2015-05-05 | |
| | ||||
* | Add picosat version 959 | Karel Kočí | 2015-05-05 | |
| | ||||
* | Add minisat config | Karel Kočí | 2015-05-05 | |
| | ||||
* | parse_kconfig fix problems with choice configs | Karel Kočí | 2015-05-05 | |
| | | | | | Choice configs has now own boolean expression. Also fixing problem with i variable. That causes that for some variables no cfn equations were build. | |||
* | Small change in parse_kconfig Makefile | Karel Kočí | 2015-05-04 | |
| | | | | Hide warnings. I am not going to solve them now. | |||
* | Fix missing addition for commit 9a1f3ff8fbff9dd418242eefa7aa69dfd38609c5 | Karel Kočí | 2015-05-04 | |
| |