| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Implement evaluate | Karel Kočí | 2015-05-16 |
| | | |||
| * | parse_kconfig fix problems with generated rules to be UNSAT | Karel Kočí | 2015-05-02 |
| | | |||
| * | 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... | ||
| * | parse_kconfig fix wrong behaviour for non prompt symbols | Karel Kočí | 2015-04-24 |
| | | | | | | Non prompt symbols should be selected always as their dependencies are satisfied. This changes adds generation of relevant rules. | ||
| * | Kconfig_parser renamed to parse_kconfig | Karel Kočí | 2015-04-11 |
 |
index : linux-conf-perf | |
| Tool for automatic performance analysis of Linux | Gitolite user |
| aboutsummaryrefslogtreecommitdiff |