| Commit message (Collapse) | Author | Age |
|
|
|
|
|
|
|
|
|
|
|
|
| |
Also initial implementation of multithread execution.
A lot of functionality changed.
Phases removed.
Output parsing is now part of measure (boot) process.
Utils cleared.
Add dot_measure file for inverted dot_config.
Configuration generating is now prepared for multiple generating types. Fist implemented is generating configurations with single selected configuration.
Test is modified to be compatible with new changes.
|
|
|
|
|
|
|
|
|
|
| |
THIS MAKES SCRIPT INCONSISTENT AND PROJECT IS NOT WORKING UNTIL OTHER COMMIT MESSAGE SAYS OTHERWISE.
Configurations are now generated to separated folder and have syntax compatible with linux configuration files.
This way applying new configuration is not necessary.
Also script is now communicating with database.
Functions are prepared for multiple different generating possibilities.
Also configuration generation is removed from initialize script.
|
|
|
|
| |
These configuration were left here probably by mistake after deleting code for which they were used.
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
Makefile configuration file is now generated automatically and contains all
string config options.
Separated tables drop from databaseinit.sql to file databaseclean.sql.
Also add clean and init target for database.
For this reason is also separated output and result from normal clean.
From now on won't be results removed on standard clean.
ARCH config variable is renamed to kernel_arch to make name more clear.
|
|
|
|
| |
Database will be used for storing measured data.
|
|
|
|
|
| |
Only possibility now is generating all solutions on initialisation.
Remove solution generating phase.
|
| |
|
| |
|
| |
|
|
|
|
| |
solution.apply failed in case of last solution.
|
|
|
|
| |
Test target wasn't working properly. Now it should work.
|
|
|
|
|
| |
Permute should now reading and loading configurations right.
In case of configuration change, forces save.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
linux/.config
|
| |
|
| |
|
| |
|
|
|
|
| |
These changes were forgotten after change from minisat to picosat
|
| |
|
| |
|
|
|
|
| |
Picosat is distributed with this project.
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
| |
|
|
|
|
| |
Not working properly yet.
|
|
|
|
|
|
| |
On first execution of buildroot targets from root Makefile is now placed
nondefault .config file.
This new configuration is default configuration except of initram setting.
|
|
|
|
| |
Programs should exist if scripts are executed by root Makefile.
|
| |
|
| |
|
|
|
|
| |
Also configuration output is now set as visible.
|
| |
|
| |
|
| |
|
|
|
|
| |
This way all executable code is inside scripts directory.
|
|
|
|
|
|
| |
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.
|
| |
|
| |
|
| |
|
| |
|
|
|
|
|
|
|
|
| |
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.
|