aboutsummaryrefslogtreecommitdiff
path: root/scripts
Commit message (Collapse)AuthorAge
* 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
|
* parse_kconfig change module decode valueKarel Kočí2015-05-04
| | | | In case of default value are modules taken as yes in case of boolean.