| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
|
|
|
| |
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.
|
| |
|
