| Commit message (Collapse) | Author | Age | 
| ... |  | 
| |  | 
 | 
| |  | 
 | 
| | 
| 
| 
|  | 
But not working yet
 | 
| | 
| 
| 
|  | 
NONAMEGENs were written to .config file because they were not ignored right.
 | 
| | 
| 
| 
| 
|  | 
Build folder is not removed.
But this is not fundamental.
 | 
| |  | 
 | 
| |  | 
 | 
| |  | 
 | 
| | 
| 
| 
|  | 
Wrong rule output for reverse dependency when expression is reduced.
 | 
| |  | 
 | 
| | 
| 
| 
|  | 
"working.." message
 | 
| |  | 
 | 
| | 
| 
| 
| 
| 
| 
| 
|  | 
After this fix, generated dependency should be all right.
Verbose output implementation is only temporally.
It needs better implementation.
And command line arguments should be parsed with argp.
 | 
| |  | 
 | 
| | 
| 
| 
| 
|  | 
Most of the kconfig_parser is changed.
Now dependency are not copied before transfer to CNF and CNF expression is direcly extracted from kconfíg parsed output structures.
 | 
| |  | 
 | 
| |  | 
 | 
| | 
| 
| 
|  | 
Also some other tweaks in kconfigp_parser. Mostly irrelevant.
 | 
| | 
| 
| 
| 
| 
| 
| 
|  | 
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.
 | 
| | 
| 
| 
| 
| 
| 
| 
|  | 
conf.py are files for configuration, all configuration is in global
conf.py and others are just sourcing that
kconfig_parser.py is executing kconfig_parser
sat_solution.py is partly implemented, in state of this commit is not
working properly.
 | 
| |  | 
 | 
| | 
| 
| 
|  | 
Also kconfig folder in programs/src is renamed to kconfig_parser
 | 
| |  | 
 | 
| | 
| 
| 
|  | 
This script is for setting options from sat generated solution to kconfig.
 | 
| | 
| 
| 
|  | 
Added script for minisat input build and execute.
 | 
| | 
| 
| 
| 
|  | 
kconfig_parser is placed to new folder tree. In folder "programs" will be all programs.
Files in folder programs/src/kconfig/kconfig are taken from kernel v3.18-rc3. In future, they should be updated if new changes will be added to kernel.
 | 
|    | 
 |