aboutsummaryrefslogtreecommitdiff
path: root/scripts/main_loop.py
Commit message (Collapse)AuthorAge
* Remove residue of old required implementationKarel Kočí2015-03-26
|
* Remove old import from main_loopKarel Kočí2015-03-26
|
* Loop phases changeKarel Kočí2015-03-26
| | | | Phases are now refersed as numbers in code.
* Reset functionality exported from main_loopKarel Kočí2015-03-23
| | | | But not working yet
* Try to repair reset functionalityKarel Kočí2015-03-22
| | | | | Build folder is not removed. But this is not fundamental.
* Main loop updateKarel 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.