aboutsummaryrefslogtreecommitdiff
path: root/scripts/solution.py
Commit message (Collapse)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
| | | | These changes were forgotten after change from minisat to picosat
* Replace minisat with picosatKarel Kočí2015-05-05
| | | | Picosat is distributed with this project.
* 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
| | | | NONAMEGENs were written to .config file because they were not ignored right.
* Add possibility to hide programs outputKarel 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.