Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | |
| | ||||
* | Add permute to root 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 gitignores | Karel Kočí | 2015-05-07 | |
| | ||||
* | Rename build folder to jobfiles | Karel Kočí | 2015-05-06 | |
| | ||||
* | 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 | |
| | ||||
* | Add Makefile initialize dependencies | Karel Kočí | 2015-05-06 | |
| |