aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
...
* 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.
* Add some configuration options and clean write_confKarel Kočí2015-05-04
|
* parse_kconfig fix problem with generated rulesKarel Kočí2015-05-04
| | | | | Generated rules were unsatisfiable all the time. Problem was default value of vis variable.
* parse_kconfig adding proper visibility dependencyKarel Kočí2015-05-04
| | | | For unknown reasons, output rules with generated default solution are not satisfiable.
* 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 configurationKarel 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 should now generate full dependency. It is not transforming whole expression to CNF, but only pairs.
* parse_kconfig changes before more changes comeKarel Kočí2015-04-30
| | | | This is commit that breaks parse_kconfig program...
* 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
|
* Change config kernem_make_outputKarel Kočí2015-04-28
|
* Fix run and initram dependencyKarel 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
|
* Fix problem with test dependencyKarel Kočí2015-04-27
|
* Add basic TODOKarel Kočí2015-04-27
| | | | TODO in this files are future work points.
* Finish implementation of test.testKarel Kočí2015-04-27
|
* Finish implementation of boot.bootKarel Kočí2015-04-27
|
* Add example testing benchmark scriptsKarel Kočí2015-04-27
|
* Change boot.gen_nbscripts to support relative conf pathsKarel Kočí2015-04-27
|
* Add output_confs generation to solution applyKarel Kočí2015-04-27
|
* Chnage conf paths from absolute to relativeKarel Kočí2015-04-27
|
* Add NBSCRIPT configKarel Kočí2015-04-27
|
* fix problems with initramKarel Kočí2015-04-27
|
* First implementation of test.pyKarel Kočí2015-04-27
| | | | Not yet finished.
* Firt implementation of boot.pyKarel Kočí2015-04-27
| | | | Not yet finished.