Commit message (Collapse) | Author | Age | ||
---|---|---|---|---|
... | ||||
* | 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 | |
| | ||||
* | parse_kconfig change module decode value | Karel Kočí | 2015-05-04 | |
| | | | | In case of default value are modules taken as yes in case of boolean. | |||
* | Add some configuration options and clean write_conf | Karel Kočí | 2015-05-04 | |
| | ||||
* | parse_kconfig fix problem with generated rules | Karel Kočí | 2015-05-04 | |
| | | | | | Generated rules were unsatisfiable all the time. Problem was default value of vis variable. | |||
* | parse_kconfig adding proper visibility dependency | Karel Kočí | 2015-05-04 | |
| | | | | For unknown reasons, output rules with generated default solution are not satisfiable. | |||
* | parse_kconfig fix problems with generated rules to be UNSAT | Karel Kočí | 2015-05-02 | |
| | ||||
* | parse_kconfig add debug output of boolexpr | Karel Kočí | 2015-05-02 | |
| | ||||
* | Fixes in scripts and add minisat_args | Karel Kočí | 2015-05-02 | |
| | ||||
* | parse_kconfig add missing rule | Karel Kočí | 2015-05-01 | |
| | ||||
* | parse_kconfig fix boolexpr_not | Karel Kočí | 2015-05-01 | |
| | ||||
* | parse_kconfig move debug output before action | Karel Kočí | 2015-05-01 | |
| | ||||
* | Fix Dprintf macro | Karel Kočí | 2015-05-01 | |
| | ||||
* | Fix parse_kconfig symlist_el variables type | Karel Kočí | 2015-05-01 | |
| |