| Commit message (Collapse) | Author | Age | ||
|---|---|---|---|---|
| ... | ||||
| * | 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 | |
| | | ||||
| * | parse_kconfig add debug outputs | Karel Kočí | 2015-05-01 | |
| | | ||||
| * | Add DEBUG and Wall to parse_kconfig | Karel Kočí | 2015-05-01 | |
| | | ||||
| * | Fix parse_kconfig symbol_map ids | Karel Kočí | 2015-05-01 | |
| | | ||||
| * | write_config update to parse_kconfig changes | Karel Kočí | 2015-05-01 | |
| | | ||||
| * | Fix missing definition | Karel Kočí | 2015-05-01 | |
| | | ||||
| * | Fit solution.apply to new changes | Karel Kočí | 2015-05-01 | |
| | | ||||
| * | parse_kconfig rewriten | Karel Kočí | 2015-05-01 | |
| | | | | | | parse_kconfig should now generate full dependency. It is not transforming whole expression to CNF, but only pairs. | |||
| * | parse_kconfig changes before more changes come | Karel Kočí | 2015-04-30 | |
| | | | | | This is commit that breaks parse_kconfig program... | |||
| * | Add prompt variable to parse_kconfig | Karel Kočí | 2015-04-29 | |
| | | ||||
| * | Add possibility of running step-by-step | Karel Kočí | 2015-04-28 | |
| | | ||||
| * | Include iteration and phase code to loop | Karel Kočí | 2015-04-28 | |
| | | ||||
| * | Fix solution.apply error | Karel Kočí | 2015-04-28 | |
| | | ||||
| * | Add boot phase | Karel Kočí | 2015-04-28 | |
| | | ||||
| * | Remove spare line from scripts/conf.py | Karel Kočí | 2015-04-28 | |
| | | ||||
| * | Fix wrong open mode of iteration file in boot | Karel Kočí | 2015-04-27 | |
| | | ||||
| * | Fix boot benchmark script | Karel Kočí | 2015-04-27 | |
| | | ||||
| * | Fix missing symbol_map on test launch | Karel Kočí | 2015-04-27 | |
| | | ||||
| * | Set execution file mode bit on test.py | Karel Kočí | 2015-04-27 | |
| | | ||||
| * | Finish implementation of test.test | Karel Kočí | 2015-04-27 | |
| | | ||||
| * | Finish implementation of boot.boot | Karel Kočí | 2015-04-27 | |
| | | ||||
| * | Change boot.gen_nbscripts to support relative conf paths | Karel Kočí | 2015-04-27 | |
| | | ||||
| * | Add output_confs generation to solution apply | Karel Kočí | 2015-04-27 | |
| | | ||||
 |
index : linux-conf-perf | |
| Tool for automatic performance analysis of Linux | Gitolite user |
| aboutsummaryrefslogtreecommitdiff |