aboutsummaryrefslogtreecommitdiff
path: root/scripts
Commit message (Expand)AuthorAge
* 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
* 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
* parse_kconfig add debug output of boolexprKarel Kočí2015-05-02
* Fixes in scripts and add minisat_argsKarel Kočí2015-05-02
* parse_kconfig add missing ruleKarel Kočí2015-05-01
* parse_kconfig fix boolexpr_notKarel Kočí2015-05-01
* parse_kconfig move debug output before actionKarel Kočí2015-05-01
* Fix Dprintf macroKarel Kočí2015-05-01
* Fix parse_kconfig symlist_el variables typeKarel Kočí2015-05-01
* parse_kconfig add debug outputsKarel Kočí2015-05-01
* Add DEBUG and Wall to parse_kconfigKarel Kočí2015-05-01
* Fix parse_kconfig symbol_map idsKarel Kočí2015-05-01
* write_config update to parse_kconfig changesKarel Kočí2015-05-01
* Fix missing definitionKarel Kočí2015-05-01
* Fit solution.apply to new changesKarel Kočí2015-05-01
* parse_kconfig rewritenKarel Kočí2015-05-01
* parse_kconfig changes before more changes comeKarel Kočí2015-04-30
* Add prompt variable to parse_kconfigKarel Kočí2015-04-29
* Add possibility of running step-by-stepKarel Kočí2015-04-28
* Include iteration and phase code to loopKarel Kočí2015-04-28
* Fix solution.apply errorKarel Kočí2015-04-28
* Add boot phaseKarel Kočí2015-04-28
* Remove spare line from scripts/conf.pyKarel Kočí2015-04-28
* Fix wrong open mode of iteration file in bootKarel Kočí2015-04-27
* Fix boot benchmark scriptKarel Kočí2015-04-27
* Fix missing symbol_map on test launchKarel Kočí2015-04-27
* Set execution file mode bit on test.pyKarel Kočí2015-04-27
* Finish implementation of test.testKarel Kočí2015-04-27
* Finish implementation of boot.bootKarel Kočí2015-04-27