aboutsummaryrefslogtreecommitdiff
path: root/scripts/phase.py
Commit message (Collapse)AuthorAge
* Repair wrong phasingKarel Kočí2015-03-26
| | | | Only comma was missing.
* Loop phases changeKarel Kočí2015-03-26
| | | | Phases are now refersed as numbers in code.
* 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.