aboutsummaryrefslogtreecommitdiff
path: root/scripts
Commit message (Expand)AuthorAge
...
* 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