| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | Add solution_kconfig | Karel Kočí | 2014-12-16 |
| | | | | | This script is for setting options from sat generated solution to kconfig. | ||
| * | Add sat_solution | Karel Kočí | 2014-12-16 |
| Added script for minisat input build and execute. | |||
 |
index : linux-conf-perf | |
| Tool for automatic performance analysis of Linux | Gitolite user |
| aboutsummaryrefslogtreecommitdiff |