aboutsummaryrefslogtreecommitdiff
path: root/scripts/solution.py
Commit message (Collapse)AuthorAge
* Add source .config backupKarel Kočí2015-03-24
|
* Implement requirement generation from kernel .configKarel Kočí2015-03-24
|
* Fix NONAMEGEN generation problemKarel Kočí2015-03-23
| | | | NONAMEGENs were written to .config file because they were not ignored right.
* 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.