aboutsummaryrefslogtreecommitdiff
path: root/scripts
Commit message (Expand)AuthorAge
* Rename solution script to configurationsKarel Kočí2015-07-22
* Remove permute_confKarel Kočí2015-07-22
* Add database initialisation checkKarel Kočí2015-07-22
* Makefile configuration is now automatically generated and more changesKarel Kočí2015-07-22
* Implemented databaseKarel Kočí2015-07-22
* Fix gen_required config source checkKarel Kočí2015-07-17
* Integrate allconfigKarel Kočí2015-07-17
* Remove possibility of generating next solution in loop.Karel Kočí2015-07-17
* Simplify parse_kconfig generated CNF formulasKarel Kočí2015-07-17
* Add simple bash script to remove configs options from full configurationKarel Kočí2015-07-17
* Add small program for generating complete configurationKarel Kočí2015-07-17
* 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
* 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
* Fix problems with permuteKarel Kočí2015-05-14
* 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 linu...Karel Kočí2015-05-10
* 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
* Change message in generated nbscriptKarel Kočí2015-05-06
* Separate initialisationKarel Kočí2015-05-06
* Remove automatic initram buildKarel Kočí2015-05-06
* Move buildroot submoduleKarel Kočí2015-05-06
* Replace minisat with picosatKarel Kočí2015-05-05
* Add gitignore for picosatKarel Kočí2015-05-05
* Add picosat version 959Karel Kočí2015-05-05
* Add minisat configKarel Kočí2015-05-05