| Commit message (Expand) | Author | Age |
|---|
| * | Add dot_config target to root Makefile | Karel Kočí | 2015-07-24 |
| * | Change logging method | Karel Kočí | 2015-07-24 |
| * | Rename solution script to configurations | Karel Kočí | 2015-07-22 |
| * | Remove permute_conf | Karel Kočí | 2015-07-22 |
| * | Add database initialisation check | Karel Kočí | 2015-07-22 |
| * | Makefile configuration is now automatically generated and more changes | Karel Kočí | 2015-07-22 |
| * | Implemented database | Karel Kočí | 2015-07-22 |
| * | Fix gen_required config source check | Karel Kočí | 2015-07-17 |
| * | Integrate allconfig | Karel Kočí | 2015-07-17 |
| * | Remove possibility of generating next solution in loop. | Karel Kočí | 2015-07-17 |
| * | Simplify parse_kconfig generated CNF formulas | Karel Kočí | 2015-07-17 |
| * | Add simple bash script to remove configs options from full configuration | Karel Kočí | 2015-07-17 |
| * | Add small program for generating complete configuration | Karel Kočí | 2015-07-17 |
| * | 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 |
| * | 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 |
| * | Fix problems with permute | Karel Kočí | 2015-05-14 |
| * | 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 linu... | Karel Kočí | 2015-05-10 |
| * | 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 |
| * | Change message in generated nbscript | Karel Kočí | 2015-05-06 |
| * | Separate initialisation | Karel Kočí | 2015-05-06 |
| * | Remove automatic initram build | Karel Kočí | 2015-05-06 |
| * | Move buildroot submodule | Karel Kočí | 2015-05-06 |
| * | Replace minisat with picosat | Karel Kočí | 2015-05-05 |
| * | Add gitignore for picosat | Karel Kočí | 2015-05-05 |
