| Commit message (Collapse) | Author | Age |
| |
|
|
|
|
| |
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.
|
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | |
| | | | |
Remove init atribut from boot_script. It is not usable when system using
/init as default.
Build script is moved for ryuglab target. Root build script is now
pointing to right location.
|
| | | |
| | | |
| | | |
| | | |
| | | | |
Also used external package to buildroot for rt-tests to use latest
master version.
|
| | | |
| | | |
| | | |
| | | |
| | | | |
Also folder measure_scripts renamed to ryuglab_scripts to signalize for
what target are those scripts.
|
| | | | |
|
| | | | |
|
| | | |
| | | |
| | | |
| | | | |
Git was ignoring files in overlay folder
|
| | | |
| | | |
| | | |
| | | | |
Now cyclictest should be bootable.
|
| | | | |
|
| | | | |
|