| Commit message (Collapse) | Author | Age |
|---|
| ... | |
| | |
|
| |
|
|
| |
Phases are now refersed as numbers in code.
|
| |
|
|
| |
This way all executable code is inside scripts directory.
|
| |
|
|
|
|
|
|
| |
config is not yet part of main_loop
From now it seems that config is changing a lot of configs to diferent setting.
Is it because of missing dependency for sat? or because of configuration restart.
Shouldn't we be also exporting all non bool/tri state configs?
|
| |
|
|
|
|
| |
In generated .config file are missing all non bool/tri state configs (except those from defconfig).
This solution is only temporally.
This way configuration never fails.
|
| | |
|
| | |
|
| |
|
|
| |
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.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
|
|
|
| |
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.
|
| |
|
|
| |
This script is for setting options from sat generated solution to kconfig.
|
|
|
Added script for minisat input build and execute.
|
