aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Add result folder to .gitignoreKarel Kočí2015-05-15
* 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
* Add dot_config to gitignoreKarel Kočí2015-05-14
* Fix booting process and test targetKarel Kočí2015-05-14
* Clean makefile and remove dependency on buildroot initramKarel Kočí2015-05-14
* Fix problems with permuteKarel Kočí2015-05-14
* Fix problems with configurations genrationKarel Kočí2015-05-14
* Add mpermute target for executing command permuteKarel Kočí2015-05-13
* Add kernel_env settingKarel Kočí2015-05-13
* Swap some lines in conf.pyKarel Kočí2015-05-13
* Fix conf.pyKarel 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
* Fix buildroot Makefile dependencyKarel Kočí2015-05-10
* permute fix makefileKarel Kočí2015-05-07
* Add permute to root 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 gitignoresKarel Kočí2015-05-07
* Rename build folder to jobfilesKarel Kočí2015-05-06
* 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
* Add Makefile initialize dependenciesKarel Kočí2015-05-06
* Fix some comments and if in solutionKarel Kočí2015-05-06
* Add label for debugging configsKarel Kočí2015-05-06
* Add PHONY targetsKarel Kočí2015-05-06
* Change message in generated nbscriptKarel Kočí2015-05-06
* Move buildroot configs in conf.pyKarel 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
* parse_kconfig fix problems with choice configsKarel Kočí2015-05-05
* Small change in parse_kconfig MakefileKarel Kočí2015-05-04
* Fix missing addition for commit 9a1f3ff8fbff9dd418242eefa7aa69dfd38609c5Karel Kočí2015-05-04
* parse_kconfig change module decode valueKarel Kočí2015-05-04
* Add some configuration options and clean write_confKarel Kočí2015-05-04
* parse_kconfig fix problem with generated rulesKarel Kočí2015-05-04
* parse_kconfig adding proper visibility dependencyKarel Kočí2015-05-04
* parse_kconfig fix problems with generated rules to be UNSATKarel Kočí2015-05-02