aboutsummaryrefslogtreecommitdiff
path: root/scripts
Commit message (Collapse)AuthorAge
...
* Makefile configuration is now automatically generated and more changesKarel Kočí2015-07-22
| | | | | | | | | | | | | 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.
* Implemented databaseKarel Kočí2015-07-22
| | | | Database will be used for storing measured data.
* Fix gen_required config source checkKarel Kočí2015-07-17
|
* Integrate allconfigKarel Kočí2015-07-17
| | | | | | | | | allconfig is now integrated in project. It is going to replace permute_conf for generating. For this reason is default behaviour changed to print only changeable configurtaion options. Previous behaviour can be used with --all switch. Also add .gitignore and remove compiled file from repository.
* Remove possibility of generating next solution in loop.Karel Kočí2015-07-17
| | | | | Only possibility now is generating all solutions on initialisation. Remove solution generating phase.
* Simplify parse_kconfig generated CNF formulasKarel Kočí2015-07-17
| | | | | Not isn't now generated using additional variable. All head formulas for all configuration options are now printed directly as formulas. Not build using functions.
* Add simple bash script to remove configs options from full configurationKarel Kočí2015-07-17
| | | | Options are removed if they are found in selected folder (variable FOLDER).
* Add small program for generating complete configurationKarel Kočí2015-07-17
| | | | | This program generates complete configuration. Written because permute_conf is only writing out configs that are chargeable.
* Fix problem with swapped columns numberingKarel Kočí2015-05-22
|
* Rename program permute to permute_confKarel Kočí2015-05-21
|
* Fix problem of cleaning scripts/nbscriptKarel Kočí2015-05-21
|
* Document conf.py and remove spare variable SRCARCHKarel Kočí2015-05-21
|
* Fix evaluate scriptKarel Kočí2015-05-20
|
* Add multiple bases supportKarel Kočí2015-05-20
|
* Add base reduction for evaluateKarel Kočí2015-05-20
|
* Make nbscript not generatedKarel Kočí2015-05-18
|
* Fix NoAppliableSolution in loop and changed looping phaseKarel Kočí2015-05-16
|
* Divide evaluete script to functionsKarel Kočí2015-05-16
|
* Implement evaluateKarel Kočí2015-05-16
|
* Rewrite write_config solution check and fix applyKarel Kočí2015-05-15
| | | | solution.apply failed in case of last solution.
* Fix error in utils scriptKarel Kočí2015-05-14
|
* Fix error in solution applyKarel Kočí2015-05-14
|
* Fix solution generation in case of gen_all_solution_oninitKarel Kočí2015-05-14
|
* Ezecute initialize parse_kconfig only in case of missing filesKarel Kočí2015-05-14
|
* Fix booting process and test targetKarel Kočí2015-05-14
| | | | Test target wasn't working properly. Now it should work.
* Fix problems with permuteKarel Kočí2015-05-14
| | | | | Permute should now reading and loading configurations right. In case of configuration change, forces save.
* Fix problems with configurations genrationKarel Kočí2015-05-14
|
* Add kernel_env settingKarel Kočí2015-05-13
|
* Fix ARCH env variableKarel Kočí2015-05-13
|
* Fix envKarel Kočí2015-05-13
|
* Add initialize messages and initialize sourcing from dot_config not from ↵Karel Kočí2015-05-10
| | | | linux/.config
* Add saving and loading of dot_config file in permute programKarel Kočí2015-05-10
|
* permute fix makefileKarel Kočí2015-05-07
|
* Rename setpermute to permuteKarel Kočí2015-05-07
|
* Add initial implementation of setpermuteKarel Kočí2015-05-07
|
* Add implementation of hash indexing of configurationsKarel Kočí2015-05-07
|
* Add generation of all solutions in initialization phaseKarel Kočí2015-05-06
|
* Add possibility of calling pahe_set from outside of loop.pyKarel Kočí2015-05-06
|
* Fix some comments and if in solutionKarel Kočí2015-05-06
| | | | These changes were forgotten after change from minisat to picosat
* Change message in generated nbscriptKarel Kočí2015-05-06
|
* Separate initialisationKarel Kočí2015-05-06
| | | | Initialisation now can be executed without loop it self.
* Remove automatic initram buildKarel Kočí2015-05-06
| | | | Not initram must be set and created manually by user.
* Move buildroot submoduleKarel Kočí2015-05-06
|
* Replace minisat with picosatKarel Kočí2015-05-05
| | | | Picosat is distributed with this project.
* Add gitignore for picosatKarel Kočí2015-05-05
|
* Add picosat version 959Karel Kočí2015-05-05
|
* Add minisat configKarel Kočí2015-05-05
|
* parse_kconfig fix problems with choice configsKarel Kočí2015-05-05
| | | | | Choice configs has now own boolean expression. Also fixing problem with i variable. That causes that for some variables no cfn equations were build.
* Small change in parse_kconfig MakefileKarel Kočí2015-05-04
| | | | Hide warnings. I am not going to solve them now.
* Fix missing addition for commit 9a1f3ff8fbff9dd418242eefa7aa69dfd38609c5Karel Kočí2015-05-04
|