| Commit message (Collapse) | Author | Age |
|---|
| | |
|
| | |
|
| | |
|
| |
|
|
| |
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.
|
| | |
|
| | |
|
| |
|
|
| |
Patch is now added directly as commit.
|
| |
|
|
|
| |
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.
|
| |
|
|
|
| |
Database is separated from project. It should be cleaned automatically
because of saving data.
|
| |
|
|
|
|
|
| |
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.
|
| |
|
|
| |
Now every test should have its own folder with rootfs and parse script.
|
| |
|
|
|
| |
Folder in which novaboot is called is now same as nbscript. Binaries
are linked to this folder from upper folders.
|
| | |
|
| |
|
|
|
| |
.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.
|
| |\
| |
| |
| |
| |
| | |
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.
|
| | | |
|
| | |
| |
| |
| | |
This duplication was created probably by merging.
|
| | |\
| | |
| | |
| | | |
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.
|
| | | | | |
|
| | | | |
| | | |
| | | |
| | | |
| | | | |
This argument was already removed by previous commit, but probably with
some merge it come back.
|
| | | | | |
|
| | | | | |
|
| | | | |
| | | |
| | | |
| | | | |
As first will be measured only konfiguration options in kernel folder.
|
| | | | |
| | | |
| | | |
| | | | |
Loading configuration load all configuration options as True.
|
| | | | | |
|
| | | | | |
|
| | | | | |
|
| | | | |
| | | |
| | | |
| | | |
| | | | |
When some generator tries to register already generated solution, it
shouldn't be registered.
|
| | | | |
| | | |
| | | |
| | | | |
Type inserted to method is str, but threated as int.
|
| | | | |
| | | |
| | | |
| | | | |
configuration per execution
|
| | | | | |
|
| | | | | |
|
| | | | |
| | | |
| | | |
| | | | |
Parsing maximal value from first thread as result.
|
