Commit message (Collapse) | Author | Age | |
---|---|---|---|
* | Implement evaluate | Karel Kočí | 2015-05-16 |
| | |||
* | Rewrite write_config solution check and fix apply | Karel Kočí | 2015-05-15 |
| | | | | solution.apply failed in case of last solution. | ||
* | Fix error in solution apply | Karel Kočí | 2015-05-14 |
| | |||
* | Fix problems with configurations genration | Karel Kočí | 2015-05-14 |
| | |||
* | Fix ARCH env variable | Karel Kočí | 2015-05-13 |
| | |||
* | Add implementation of hash indexing of configurations | Karel Kočí | 2015-05-07 |
| | |||
* | Add generation of all solutions in initialization phase | Karel Kočí | 2015-05-06 |
| | |||
* | Fix some comments and if in solution | Karel Kočí | 2015-05-06 |
| | | | | These changes were forgotten after change from minisat to picosat | ||
* | Replace minisat with picosat | Karel Kočí | 2015-05-05 |
| | | | | Picosat is distributed with this project. | ||
* | Add minisat config | Karel Kočí | 2015-05-05 |
| | |||
* | Fixes in scripts and add minisat_args | Karel Kočí | 2015-05-02 |
| | |||
* | Fit solution.apply to new changes | Karel Kočí | 2015-05-01 |
| | |||
* | Fix solution.apply error | Karel Kočí | 2015-04-28 |
| | |||
* | Add output_confs generation to solution apply | Karel Kočí | 2015-04-27 |
| | |||
* | Chnage conf paths from absolute to relative | Karel Kočí | 2015-04-27 |
| | |||
* | Remove usage of .config fragment file | Karel Kočí | 2015-04-17 |
| | |||
* | Fix python scripts to work with parse_kconfig | Karel Kočí | 2015-04-13 |
| | |||
* | Add source .config backup | Karel Kočí | 2015-03-24 |
| | |||
* | Implement requirement generation from kernel .config | Karel Kočí | 2015-03-24 |
| | |||
* | Fix NONAMEGEN generation problem | Karel Kočí | 2015-03-23 |
| | | | | NONAMEGENs were written to .config file because they were not ignored right. | ||
* | Add possibility to hide programs output | Karel Kočí | 2015-03-22 |
| | |||
* | Implementing main loop | Karel 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. |