| Commit message (Collapse) | Author | Age |
|---|
| | |
|
| |
|
|
|
| |
If .target file is changed (=target changed), makefile configuration
should been regenerated.
|
| |
|
|
|
|
| |
Boot process should timeout after selected number of seconds if no
output is generated. This allows resolving some problems with possible
boot stuck.
|
| |
|
|
|
| |
Some variables were no longer used or with current settup system made
no sence.
|
| |
|
|
|
| |
.target file should load always from root folder of project to ensure,
that all tools in project are targeting same target.
|
| |
|
|
|
|
|
|
| |
Configuration is set back as it was before previous merge on branch
master.
Configurations for targets can be specified by overlapping
configuration options with external config.
|
| |
|
|
|
| |
Configuration is set back as it was before previous merge on branch
master.
|
| |
|
|
| |
This duplication was created probably by merging.
|
| |\
| |
| |
| |
| |
| | |
Conflicts:
conf.py
scripts/configurations.py
|
| | | |
|
| | |
| |
| |
| |
| | |
Database configuration was set as it was used during development and
testing. Changed to some of default not usable values.
|
| | | |
|
| | | |
|
| | | |
|
| | |
| |
| |
| | |
Parsing maximal value from first thread as result.
|
| | | |
|
| | |
| |
| |
| | |
Added novaboot call directly. nbscript is not executable.
|
| | | |
|
| | | |
|
| | | |
|
| | | |
|
| |/ |
|
| |
|
|
|
|
|
|
|
|
|
|
|
| |
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.
|
| | |
|
| | |
|
| | |
|
| | |
|
