aboutsummaryrefslogtreecommitdiff
path: root/scripts/initialize.py
Commit message (Collapse)AuthorAge
* Implement requirement generation from kernel .configKarel Kočí2015-03-24
|
* Add possibility to hide programs outputKarel Kočí2015-03-22
|
* 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.