| Commit message (Collapse) | Author | Age |
|---|
| |
|
|
|
|
|
| |
When multithreading was enabled, same configuration could been build
multiple times. Adding list of built configurations and filtering list
of configurations sourced from database solves this problem. Now script
is aware of configurations that was prepared and not yet been measured.
|
| |
|
|
|
| |
Generated configuration file for makefile did not contain int values.
But they were used. This is new feature but also fix.
|
| |
|
|
| |
Generated temporally configuration file was read.
|
| |
|
|
|
|
|
| |
Parsing choices was implemented wrong. For non-optional choice output
rules must contain also dependency of all choice symbols. Because if no
choice symbol has fulfilled dependencies, than choice shouldn't be
selected.
|
| |
|
|
|
| |
Script ended with exception when no file with list of non-remove
configuration options was provided.
|
| |
|
|
|
|
| |
Removing configuration options from configuration file according to
definition folder. New implementation allows to specify required
configuration options that shouldn't be removed in any case.
|
| |
|
|
| |
Latest changes for multithreading broke single thread mode.
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
| |
Picosat is as default using 0 as seed for random generator. This lead
on same configuration every time.
|
| | |
|
| |
|
|
|
|
| |
Boot process should timeout after selected number of seconds if no
output is generated. This allows resolving some problems with possible
boot stuck.
|
| | |
|
| | |
|
| | |
|
| |
|
|
|
| |
Test run and initialization now shows warning about dirty repository
and loop can't be executed if linux or root repository is dirty.
|
| |
|
|
|
| |
add_measure in boot script was called with list of lines instead of
single string.
|
| | |
|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
As name was given tempfile object no name of generated temporally file.
|
| |
|
|
| |
This folder is no longer used and shouldn't be created.
|
| |
|
|
|
|
|
|
|
| |
Because configuration is now stored in database only missing
informations to make database fully descriptive is boot output. This
makes output of boot command to be saved to database and not to file.
Also parse script should read input from stdin and not from file from
argument.
|
| | |
|
| |
|
|
|
|
|
| |
Utils function callsubprocess now logs all program output including
stderr.
Convenient would be to print stderr even if output is disabled. But
this would probably required threads.
|
| |
|
|
|
| |
Previous implementation was returning list of tuples. Now it is
returning list of strings.
|
| |
|
|
| |
No attribute supplied when executed sql command.
|
| |
|
|
|
|
| |
Picosat output is parsed and automatically is resolved to dictionary
with configuration option name as key and boolean value. This makes all
configurations in script of same type. All are dictionaries this way.
|
| |
|
|
| |
This table was recently added, but was missing in databaseclean.sql.
|
| |
|
|
|
|
|
| |
This caused that instead of multiple numbers was parsed only one number
including every single number character as separated number. Because of
this was generated wrong CNF file and sometimes if zero was in number
picosat failed with error.
|
| |
|
|
|
| |
Temporally file generated in kernel script during configuration
applying wasn't closed/remove after end of usage.
|
| |
|
|
|
|
| |
Managing configurations in files and in database could cause
inconsistence. Adding all generated configurations to database allow us
to clean project files without loosing data.
|
| |\
| |
| |
| |
| |
| | |
Removing measuring branch. Idea was to make measuring configuration
separate from master. But keeping changes in master and measuring
branch consistent was pain.
|
| | |
| |
| |
| |
| |
| |
| | |
If generating single throw NoSolution exception, randomly generated CNF
file is removed. But finally statement tries to remove it once again.
Solution is to not remove CNF file in exception handling, but only by
finally statement.
|
| | |\
| | |
| | |
| | | |
Pull generate_single fix.
|
| | |\ \
| | | |
| | | |
| | | |
| | | |
| | | | |
Conflicts:
conf.py
scripts/configurations.py
|
| | | | |
| | | |
| | | |
| | | |
| | | | |
Measure function requires img and config as atributes. But only config
was provided.
|
| | | | |
| | | |
| | | |
| | | |
| | | | |
Configuration are generated with random assumptions. This should
generate different configuration for every SAT solver execution.
|
| | | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Previous method of calculating hash wasn't work (wouldn't give same
result for same configuration) if there would be added
new configuration options to hashconfigsort file.
|
| | | | | |
|
| | | | | |
|
| | | | |
| | | |
| | | |
| | | | |
As first will be measured only konfiguration options in kernel folder.
|
| | | | |
| | | |
| | | |
| | | | |
Loading configuration load all configuration options as True.
|
| | | | | |
|
| | | | | |
|
