aboutsummaryrefslogtreecommitdiff
path: root/scripts/solution_kconfig
Commit message (Collapse)AuthorAge
* Implementing main loopKarel Kočí2015-02-03
| | | | | | | | These new scripts are part of main loop. kernel is not finished!! Divides kconfig_parser, sat_solution to better named modules. Phasing and iteration is implemented for loop watching.
* Add solution_kconfigKarel Kočí2014-12-16
This script is for setting options from sat generated solution to kconfig.