aboutsummaryrefslogtreecommitdiff
path: root/scripts
Commit message (Expand)AuthorAge
* Implement requirement generation from kernel .configKarel Kočí2015-03-24
* Reset functionality exported from main_loopKarel Kočí2015-03-23
* Fix NONAMEGEN generation problemKarel Kočí2015-03-23
* Try to repair reset functionalityKarel Kočí2015-03-22
* Main loop updateKarel Kočí2015-03-22
* Kernel configuration is now throwing exception on failureKarel Kočí2015-03-22
* Add possibility to hide programs outputKarel Kočí2015-03-22
* Kernel config repair and configurable make argumentsKarel Kočí2015-02-11
* Implementing main loopKarel Kočí2015-02-03
* Python scripts addedKarel Kočí2015-01-14
* Add solution_kconfigKarel Kočí2014-12-16
* Add sat_solutionKarel Kočí2014-12-16