aboutsummaryrefslogtreecommitdiff
path: root/scripts/solution.py
Commit message (Expand)AuthorAge
* Fix ARCH env variableKarel Kočí2015-05-13
* Add implementation of hash indexing of configurationsKarel Kočí2015-05-07
* Add generation of all solutions in initialization phaseKarel Kočí2015-05-06
* Fix some comments and if in solutionKarel Kočí2015-05-06
* Replace minisat with picosatKarel Kočí2015-05-05
* Add minisat configKarel Kočí2015-05-05
* Fixes in scripts and add minisat_argsKarel Kočí2015-05-02
* Fit solution.apply to new changesKarel Kočí2015-05-01
* Fix solution.apply errorKarel Kočí2015-04-28
* Add output_confs generation to solution applyKarel Kočí2015-04-27
* Chnage conf paths from absolute to relativeKarel Kočí2015-04-27
* Remove usage of .config fragment fileKarel Kočí2015-04-17
* Fix python scripts to work with parse_kconfigKarel Kočí2015-04-13
* 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
* Add possibility to hide programs outputKarel Kočí2015-03-22
* Implementing main loopKarel Kočí2015-02-03